System Description: Embedding Verification into Microsoft Excel

Tools

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

Full text not available from this repository.

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.

Item Type: Conference or Workshop Item (Paper)
RIS ID: https://nottingham-repository.worktribe.com/output/1023639
Additional Information: Lecture Notes in Artificial Intelligence 1831
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Dennis, Louise Abigail
Date Deposited: 08 Dec 2005
Last Modified: 04 May 2020 20:32
URI: https://eprints.nottingham.ac.uk/id/eprint/340

Actions (Archive Staff Only)

Edit View Edit View