The PROSPER Toolkit
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...
| Main Authors: | , , , , , , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
Springer
2000
|
| Online Access: | https://eprints.nottingham.ac.uk/341/ |