Proof and Specification Assisted
Design Environments

ESPRIT Framework IV LTR 26241
Public Deliverables

This page contains selected public deliverables of the ESPRIT PROSPER project.

The PROSPER Toolkit

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).

Hardware Verification
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).

General
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).