As experience is gained with Specware 4.0, both the operation of the Specware system and the Metaslang language are bound to undergo changes, which may not always be fully "backwards compatible".
For updates, news and bug reports, visit the Specware web site http://www.specware.org.