home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / ostroff / 00README
Text File  |  1994-08-24  |  1KB  |  39 lines
  1. This directory contains papers and software by Jonathan Ostroff at York
  2. University (Canada) --- jonathan@cs.yorku.ca
  3. ======================================================================
  4.  
  5. In the directory "tools"
  6. ************************
  7.  
  8. 1. verify.tex --- is a manual (in latex format) for using the VERIFY
  9. tool for the verification of real-time reactive software. The tool
  10. requires the existence of Quintus Prolog. Run latex twice.
  11.  
  12. 2. verify31.tar.Z --- is the VERIFY tool for use under Quintus Prolog
  13. Version 3.1.
  14.  
  15. 3. verify251.tar.Z --- is the VERIFY tool for use under Quintus Prolog
  16. 2.5 --- see footnote 3 in verify.tex.
  17.  
  18. In the directory "papers"
  19. *************************
  20.  
  21. 1. survey.tex --- is the latex file of a survey of real-time formal
  22. methods including temporal logic and process algebras. This paper
  23. appeared in Journal of Systems and Software, April 1992. Run latex on
  24. the file twice to get all the cross-references right.
  25.  
  26. 2. theories.frm.ps.Z --- report on the StateTime tool presented at
  27. AMAST workshop on real-time systems in November 1994. You might have
  28. trouble printing this out though, because of the size of the
  29. screendumps. In that case you may want to read the theories.dvi which
  30. is a latex version of the paper.
  31.  
  32. 3. theories.dvi --- see item 5. above.
  33.  
  34. In the directory "paper.others"
  35. ********************************
  36.  
  37. 1. logic.sanders.ps --- A paper by <Jeff.Sanders@comlab.oxford.ac.uk>
  38. Oxford U. Technical Monograph PRG-78 --- Laws of logical Calculi
  39.