|
Model Checking FTP Instructions
A number of software packages and papers related to formal verification are
available by anonymous FTP. They are
Everything is available on
EMC.CS.CMU.EDU (128.2.250.142).
Here is an example FTP session:
% ftp emc.cs.cmu.edu
Connected to EMC.CS.CMU.EDU.
220 emc.cs.cmu.edu FTP server (SunOS 4.1) ready.
Name
(emc.cs.cmu.edu:username): ftp
331 Guest login ok, send ident as password.
Password: [type e-mail address as password]
ftp> bin
200 Type
set to L (byte size 8).
ftp> cd pub
250 Directory path set to pub
ftp> get smv.r2.4.4.tar.Z
...
ftp> quit
221 Goodbye.
%
If you are unable to access files by FTP, we can send
you email or perhaps a tape. Send requests to emc+@cs.cmu.edu.
CMU-SCS Model Checking home page |
