|
|
This page contains selected public deliverables of the ESPRIT
PROSPER project.
|
-
The PROSPER Toolkit Version 1.4
-
(254Kbytes of gzipped PostScript,
1.5Mbytes of PostScript)
Louise Dennis, Graham Collins, Richard Boulton, Graham Robinson,
Michael Norrish, and Konrad Slind
ESPRIT LTR Project PROSPER (26241),
part of deliverable D3.5 (University of Glasgow, 2001).
|
|
Decision Procedures and Plugins
|
- Model Checker Plug-In User Documentation
-
(42Kbytes of gzipped PostScript,
135Kbytes of PostScript)
Dirk W. Hoffmann and Thomas Kropf
ESPRIT LTR Project PROSPER (26241),
part of deliverable D4.3b (Universität Karlsruhe, 1999).
- Prover plug-in documentation
-
(104Kbytes of gzipped PostScript,
333Kbytes of PostScript)
Mary Sheeran
ESPRIT LTR Project PROSPER (26241),
part of deliverable D4.1b (Prover Technology AB, 2000).
|
- Preliminary Report on Workbench Case Studies
-
(238Kbytes of gzipped PostScript,
1Mbyte of PostScript)
Dirk W. Hoffmann and Thomas Kropf
ESPRIT LTR Project PROSPER (26241),
part of deliverable D2.5a (Universität Karlsruhe, 1999).
- Semantics of the Intermediate Language IL, Version 1.6
-
(79Kbytes of gzipped PostScript,
247Kbytes of PostScript)
Mike Gordon, Dirk W. Hoffmann and Thomas Kropf
ESPRIT LTR Project PROSPER (26241),
part of deliverable D2.1c
(University of Cambridge and Universität Tübingen, 1999).
|
|
Natural Language Interface
|
- Description of restricted natural language
-
(76Kbytes of gzipped PostScript,
242Kbytes of PostScript)
Claire Grover, Alexander Holt, Ewan Klein and Marc Moens
ESPRIT LTR Project PROSPER (26241),
part of deliverable D5.1b (University of Edinburgh, 1999).
|
- PROSPER Technology Roadmap
-
(55Kbytes of gzipped PostScript,
172Kbytes of PostScript)
Louise Dennis and Tom Melham
ESPRIT LTR Project PROSPER (26241),
part of deliverable D6.4a (University of Glasgow, 1999).
|
|
