The following programs and documents are included on the Specware 4.2 installation CD:
setup.exe -- This program in the root directory of the CD is the Specware 4.2 installer for Windows. It should be launched automatically when the CD is inserted into the CD-ROM drive.
XEmacs -- This folder contains the XEmacs setup.exe installer for Windows, as well as the packages necessary to install the program. XEmacs is the environment within which Specware 4.2 is designed to run.
SNARK -- This folder contains the license agreement and modified source code for the theorem prover SNARK, which is built into Specware 4.2.
The following documentation is included with the distribution package:
Specware 4.2 Quick Reference -- The Quick Reference gives an overview of processing commands and Metaslang language constructs.
Specware 4.2 User Manual (this document) -- The User Manual serves as a quick guide to basic usage and concepts of Specware. After reading this, you should feel comfortable with the mechanics of running and using Specware.
Specware 4.2 Tutorial -- The Tutorial will guide you through the process of specifying, refining and generating code in Specware. A comprehensive example provides step-by-step instructions for this development process.
Specware 4.2 Language Manual -- The Language Manual discusses the Metaslang specification language and gives the grammar rules and meaning for each Metaslang language construct.