Melham, T.F. (2002) Prosper. An-investigation into software architecture for embedded proof engines. Frontiers of Combining Systems, 2309, pp. 193-206.
Full text not currently available from Enlighten.
Abstract
PROSPER is a recently-completed ESPRIT Framework IV research project that investigated software architectures for component-based, 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 provides a summary of the technical approach taken and some of the lessons learned.
Item Type: | Articles |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | UNSPECIFIED |
Authors: | Melham, T.F. |
College/School: | College of Science and Engineering > School of Computing Science |
Journal Name: | Frontiers of Combining Systems |
University Staff: Request a correction | Enlighten Editors: Update this record