Skip to main content

Research Repository

See what's under the surface

Advanced Search

System Description: Embedding Verification into Microsoft Excel

Collins, Graham; Dennis, Louise Abigail

Authors

Graham Collins

Louise Abigail Dennis



Contributors

David McAllester
Editor

Abstract

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.

Publication Date Jan 1, 2000
Peer Reviewed Peer Reviewed
APA6 Citation Collins, G., & Dennis, L. A. (2000). System Description: Embedding Verification into Microsoft Excel. In D. McAllester (Ed.),
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf
Additional Information Lecture Notes in Artificial Intelligence 1831

Files

excel.ps (224 Kb)
Other

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





Downloadable Citations

;