the COMPASS team consisting of RWTH Aachen University and Fondazione
Bruno Kessler is announcing a new public release of the COMPASS toolset.
Version 3.1 is now freely available for download at
to anyone within the member states of the European Space Agency.
With respect to COMPASS version 3.0, this release contains an updated
version of the xSAP engine and includes several bug fixes both in the
software and the accompanying documentation.
If you have any questions, you can contact us at
compass-support(a)lists.rwth-aachen.de (or simply reply to this e-mail).
The COMPASS team
Thomas Noll http://moves.rwth-aachen.de/people/noll/
Software Modeling and Verification Group noll(a)cs.rwth-aachen.de
RWTH Aachen University Phone +49/241/80-21213
Ahornstr. 55, 52056 Aachen, Germany Fax +49/241/80-22217