System Description: Embedding Verification into Microsoft Excel

Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania.

Postscript - Requires a viewer, such as GSview


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Lecture Notes in Artificial Intelligence 1831
Schools/Departments:Faculty of Science > School of Computer Science and Information Technology
ID Code:340
Deposited By:Dennis, Louise Abigail
Deposited On:08 Dec 2005
Last Modified:09 Oct 2007 16:52

Repository Staff Only: item control page