The PROSPER toolkit

  title={The PROSPER toolkit},
  author={Louise A. Dennis and Graham Collins and Michael Norrish and Richard J. Boulton and Konrad Slind and Graham Robinson and Michael J. C. Gordon and Thomas F. Melham},
  journal={International Journal on Software Tools for Technology Transfer},
The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they can be treated as components. A system incorporating such tools becomes another component that can be embedded in an application. This paper describes the software toolkit developed by the project. The nature of communication between components is specified in a language-independent way. It is… CONTINUE READING
Highly Cited
This paper has 93 citations. REVIEW CITATIONS

7 Figures & Tables



Citations per Year

93 Citations

Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.