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...
Full description
Bibliographic Details
| Main Authors: |
Dennis, Louise Abigail,
Collins, Graham,
Norrish, Michael,
Boulton, Richard,
Slind, Konrad,
Robinson, Graham,
Gordon, Mike,
Melham, Tom |
|---|
| Other Authors: |
Graf, Suzanne |
|---|
| Format: | Conference or Workshop Item
|
|---|
| Published: |
Springer
2000
|
|---|
| Online Access: | https://eprints.nottingham.ac.uk/341/
|
|---|