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