The PROSPER Toolkit
(2000)
Presentation / Conference Contribution
Dennis, L. A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., Gordon, M., & Melham, T. The PROSPER Toolkit. Presented at Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000)
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 incorporatin... Read More about The PROSPER Toolkit.