Louise Abigail Dennis
The PROSPER Toolkit
Dennis, Louise Abigail; Collins, Graham; Norrish, Michael; Boulton, Richard; Slind, Konrad; Robinson, Graham; Gordon, Mike; Melham, Tom
Authors
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 S. Graf, & M. Schwartzbach (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 | https://nottingham-repository.worktribe.com/output/1023671 |
Files
ptoolkit.ps
(207 Kb)
Other
You might also like
Gaussian Process Models of Potential Energy Surfaces with Boundary Optimisation
(2021)
Journal Article
Gaussian process models of potential energy surfaces with boundary optimization
(2021)
Journal Article
Monte–Carlo simulation of crystallization in single‐chain square‐well homopolymers
(2020)
Journal Article
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search