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
Here is an example FTP session:
If you are unable to access files by FTP, we can send
you email or perhaps a tape. Send requests to firstname.lastname@example.org.
% ftp emc.cs.cmu.edu
Connected to EMC.CS.CMU.EDU.
220 emc.cs.cmu.edu FTP server (SunOS 4.1) ready.
331 Guest login ok, send ident as password.
Password: [type e-mail address as password]
set to L (byte size 8).
ftp> cd pub
250 Directory path set to pub
ftp> get smv.r2.4.4.tar.Z
CMU-SCS Model Checking home page