The PROSPER Toolkit
The PROSPER (Proof and Specification Assisted Design Environments)
project advocates teh use of toolkits which allow existing verifucation
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.