The PROSPER Toolkit

Louise A. Dennis, Graham Collins, Michael Norrish, Richard Boulton, Konrad Slind, Graham Robinson, Mike Gordon, Tom Melham

Research output: Other contributionpeer-review


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 may be treated as components. A system incorporating such tools becomes another component that can be embedded in an application.

This paper describes the Prosper Toolkit which enables this. The nature of communication between components is specified in a language-independent way. It is implemented in several common programming languages to allow a wide variety of tools to have access to the toolkit.
Original languageUndefined
PublisherSpringer Nature
Number of pages15
ISBN (Print)9783540672821
ISBN (Electronic)9783540464198
Publication statusPublished - 2000

Publication series

Name Lecture Notes in Computer Science


  • Model checker
  • Decision procedure
  • Propositional logic
  • Theorem prove
  • Proof obligation

Cite this