Specware Logo


Home | Releases | Documentation | Support

Release Notes


bulletRelease Notes (to obtain Specware, see https://github.com/KestrelInstitute/Specware)

Specware 4.2.14 (developer version)

Specware 4.2.13 (current release)

Specware 4.2.10

Specware 4.2.7

Specware 4.2.2

Specware 4.2

Specware 4.1.3

Specware 4.1

Specware 4.0.5

Specware 4.0.2

Specware 4.0


webmaster@specware.org