You need:
- a SSH client (Putty http://www.chiark.greenend.org.uk/~sgtatham/putty/download.html)
- a VNC client (see
http://www.realvnc.com/cgi-bin/download.cgi )
1. Connect to pogo.cs.iit.edu with ssh and change your password
2. in your vnc directory (/home/tau/thomas/.vnc), change the
permission of the xstartup file to executable
3. Start a new vnc server (vncserver -cc 3)
4. To connect to the VNC server, you need to tunnel through SSH:
- start a new SSH session with PUTTY and configure it as follow
- select Connection - SSH - Tunnels
- set the source port to 590x where x is the number you got when starting the vnc server
- set the destination to localhost:590x
- save this configuration and open it
- leave the ssh connection open
5. start the VNC client with localhost:x
- Enter your VNC password
- you should now be connected
6. copy the example files from the TAU installation directory to
your user directory
- set the TAU instalation directory on your path
- run tau with ./tau
7. Get familiar with the environment though the examples, and try to compile the models with the model verifier
The examples I like are umlVerificationPingPong,
umlVerificationEchoServer
8. Get familiar with the model verification environment
There's a lot of documentation in the TAU help
|
aaaaa