home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / README < prev    next >
Text File  |  2002-07-29  |  327b  |  8 lines
  1. This directory contains the Quintus Prolog code for the verification tools
  2. described in _Software Verification Tools_
  3. (see  http://www.cs.yorku.ca/course_archive/2001-02/W/3341/). 
  4. The code may not be up to date.
  5.  
  6. For further information, contact me at peter@cs.yorku.ca.
  7.  
  8.             . . .   Peter Roosen-Runge, July 29, 2002.