Louise Abigail Dennis
The PROSPER Toolkit
Dennis, Louise Abigail; Collins, Graham; Norrish, Michael; Boulton, Richard; Slind, Konrad; Robinson, Graham; Gordon, Mike; Melham, Tom
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.
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|
|Copyright Statement||Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf|
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
Nonlinear shear of entangled polymers from nonequilibrium molecular dynamics
Characterising droplet breakup rates of shear-thinning dispersed phase in microreactors