System Description: Embedding Verification into Microsoft Excel
The aim of the PROSPER project is to allow the embedding of existing verification technology into applications in such a way that the theorem proving is hidden, or presented to the end user in a natural way. This paper describes a system built to test whether the PROSPER toolkit satisfied this aim....
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
Springer
2000
|
| Online Access: | https://eprints.nottingham.ac.uk/340/ |
| _version_ | 1848790394945404928 |
|---|---|
| author | Collins, Graham Dennis, Louise Abigail |
| author2 | McAllester, David |
| author_facet | McAllester, David Collins, Graham Dennis, Louise Abigail |
| author_sort | Collins, Graham |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | The aim of the PROSPER project is to allow the embedding of existing verification technology into applications in such a way that the theorem proving is hidden, or presented to the end user in a natural way. This paper describes a system built to test whether the PROSPER toolkit satisfied this aim. The system combines the toolkit with Microsoft Excel, a popular commercial spreadsheet application. |
| first_indexed | 2025-11-14T18:11:56Z |
| format | Conference or Workshop Item |
| id | nottingham-340 |
| 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-3402020-05-04T20:32:55Z https://eprints.nottingham.ac.uk/340/ System Description: Embedding Verification into Microsoft Excel Collins, Graham Dennis, Louise Abigail The aim of the PROSPER project is to allow the embedding of existing verification technology into applications in such a way that the theorem proving is hidden, or presented to the end user in a natural way. This paper describes a system built to test whether the PROSPER toolkit satisfied this aim. The system combines the toolkit with Microsoft Excel, a popular commercial spreadsheet application. Springer McAllester, David 2000 Conference or Workshop Item PeerReviewed Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania. |
| spellingShingle | Collins, Graham Dennis, Louise Abigail System Description: Embedding Verification into Microsoft Excel |
| title | System Description: Embedding Verification into Microsoft Excel |
| title_full | System Description: Embedding Verification into Microsoft Excel |
| title_fullStr | System Description: Embedding Verification into Microsoft Excel |
| title_full_unstemmed | System Description: Embedding Verification into Microsoft Excel |
| title_short | System Description: Embedding Verification into Microsoft Excel |
| title_sort | system description: embedding verification into microsoft excel |
| url | https://eprints.nottingham.ac.uk/340/ |