This directory contains the initial public release of SVA (1.2a) in a beta version.

SVA contains the software for the tool.

svaexamples contains example programs based on Chapters 18 and 19 of 
"Understanding Concurrent Systems".

manual.pdf is a basic manual: see those book chapters for more details of
much of the functionality.

The system requirements for running SVA, including FDR and a suitable
JAVA implementation, are set out in the manual.  Please study these
carefully.

To install, make SVA your working directory and type "ant gui".

You can then run SVA from the same directory by "ant run".

We hope you enjoy using this software, which comes with abolutely no
warranty.

Its creation was supported by grants from EPSRC and ONR.

If you have a problem with this software, please contact us.
Note that Bill is responsible for the back end (the files svacomp.csp,
refsva.csp and compression09.csp in the distribution) and David for the rest.

David Hopkins
Bill Roscoe
November 2010

