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/ |
| _version_ | 1848790395246346240 |
|---|---|
| author | Dennis, Louise Abigail Collins, Graham Norrish, Michael Boulton, Richard Slind, Konrad Robinson, Graham Gordon, Mike Melham, Tom |
| author2 | Graf, Suzanne |
| author_facet | Graf, Suzanne Dennis, Louise Abigail Collins, Graham Norrish, Michael Boulton, Richard Slind, Konrad Robinson, Graham Gordon, Mike Melham, Tom |
| author_sort | Dennis, Louise Abigail |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:11:56Z |
| format | Conference or Workshop Item |
| id | nottingham-341 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:56Z |
| publishDate | 2000 |
| publisher | Springer |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-3412020-05-04T20:32:56Z https://eprints.nottingham.ac.uk/341/ 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. Springer Graf, Suzanne Schwartzbach, Michael 2000 Conference or Workshop Item PeerReviewed Dennis, Louise Abigail, Collins, Graham, Norrish, Michael, Boulton, Richard, Slind, Konrad, Robinson, Graham, Gordon, Mike and Melham, Tom (2000) The PROSPER Toolkit. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000, Berlin. |
| spellingShingle | Dennis, Louise Abigail Collins, Graham Norrish, Michael Boulton, Richard Slind, Konrad Robinson, Graham Gordon, Mike Melham, Tom The PROSPER Toolkit |
| title | The PROSPER Toolkit |
| title_full | The PROSPER Toolkit |
| title_fullStr | The PROSPER Toolkit |
| title_full_unstemmed | The PROSPER Toolkit |
| title_short | The PROSPER Toolkit |
| title_sort | prosper toolkit |
| url | https://eprints.nottingham.ac.uk/341/ |