Alloy. Alloy and its Constraint Analyzer are an object modeling language and analysis tool, respectively.
USE. USE is a UML-based tool that processes class diagrams and OCL specifications. Models conforming to the class diagrams can be animated and automatically checked against the given OCL specifications.
ESC/Java. ESC/Java is a tool that uses a theorem prover to automatically check code-level specifications written in a JML-like specification language.
All the tools listed here are installed on the Linux machines of our labs. To invoke them, just type alloy, use, and escjava, respectively, at the Linux command prompt.
NOTE: The Linux version of Alloy seems to be broken, but the Windows version works just fine.
To use the Windows version of Alloy from the lab machines, type win at the Linux command prompt to launch the Windows desktop. After you log in into Windows, choose the following options from the the Start menu: Start|Programs|Develpoment|Alloy|Alloy in order to launch Alloy.
If you prefer, you also can download and install the tools on your own machine. Tools and installing instructions can be found at their respective home pages (see links above).
AGAIN NOTE:
The Linux version of Alloy seems to be broken,
but the Window version works just fine.
We strongly recommend that you download the Windows version
that comes with JRE included.
Alternatively, if you have a broadband Internet connection, you can try to use those on the lab machines remotely. See below on how to do that.
You can access our Linux workstations remotely if and only if you have a Secure Shell client software installed on your machine (telnet will not do).
A freely available version of the Secure Shell client
for Linux can be downloaded from the
OpenSSH web site.
A non-commercial version of Secure Shell client for Windows
can be downloaded from the
SSH web site.
In both cases make sure
you get a client that supports the SSH2 protocol (as opposed to just SSH1).
To connect to the lab machine use your lab account login as user name and
Our Labs have a Citrix Windows server that allows you to open a remote Windows desktop on your own machine. You must connect to that server if you want to use the windows version of Alloy installed on our lab machines. Instrunctions on how to connect can be found here.