A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
PROSPER An Investigation into Software Architecture for Embedded Proof Engines
[chapter]
2002
Lecture Notes in Computer Science
Prosper is a recently-completed ESPRIT Framework IV research project that investigated software architectures for componentbased, embedded formal verification tools. The aim of the project was to make mechanized formal analysis more accessible in practice by providing a framework for integrating formal proof tools inside other software applications. This paper is an extended abstract of an invited presentation on Prosper given at FroCoS 2002. It describes the vision of the Prosper project and
doi:10.1007/3-540-45988-x_16
fatcat:w6w7lbt2zbczlljouwu3a7nzce