Skip to main content

Research Repository

Advanced Search

The PROSPER Toolkit

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

Authors

Louise Abigail Dennis

Graham Collins

Michael Norrish

Richard Boulton

Konrad Slind

Graham Robinson

Mike Gordon

Tom Melham



Contributors

Suzanne Graf
Editor

Michael Schwartzbach
Editor

Abstract

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.

Citation

Dennis, L. A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., …Melham, T. (2000). The PROSPER Toolkit. In M. Schwartzbach, & S. Graf (Eds.),

Conference Name Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000)
Publication Date Jan 1, 2000
Deposit Date Dec 8, 2005
Publicly Available Date Oct 9, 2007
Peer Reviewed Peer Reviewed
Public URL http://eprints.nottingham.ac.uk/id/eprint/341
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf

Files


ptoolkit.ps (207 Kb)
Other

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations