Paper Info
Title
System Description: Embedding Verification into Microsoft Excel
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.
Year
DOI
Venue
2000
10.1007/10721959_40
CADE
Keywords
Field
DocType
system description,microsoft excel,embedding verification,satisfiability,theorem proving
Embedding,Programming language,End user,Computer science,Automated theorem proving,Algorithm,Propositional calculus,Linear arithmetic
Conference
Volume
ISSN
ISBN
1831
0302-9743
3-540-67664-3
Citations 
PageRank 
References 
6
0.73
3
Authors
2
Name
Order
Citations
PageRank
Graham Collins1726.19
Louise A. Dennis236037.62