System Description: Embedding Verification into Microsoft Excel

QR Code

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....

Full description

Bibliographic Details
Main Authors:	Collins, Graham, Dennis, Louise Abigail
Other Authors:	McAllester, David
Format:	Conference or Workshop Item
Published:	Springer 2000
Online Access:	https://eprints.nottingham.ac.uk/340/

Similar Items

Verification the performance of Microsoft SQL Server / Nageswary Gannapathy
by: Nageswary , Gannapathy
Published: (2002)

A simplification of reading thermodynamic properties using microsoft excel
by: Nur Diyana Wahida, Adam
Published: (2012)

A simplification of reading fluid properties using Microsoft Excel
by: Mohd Asri, Ibrahim
Published: (2012)

Overcoming Microsoft Excel's weaknesses for crop model building and simulations
by: Teh, Christopher Boon Sung
Published: (2011)

An object-oriented data automation system for Microsoft Excel files / Ng Lee Yean.
by: Ng, Lee Yean
Published: (2003)

Comparison of SLAB design between BS 8110 and Eurocode 2 by using microsoft excel
by: Kamarul Ariffin, Mohd Mahpal
Published: (2010)

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

Design of an iris verification system on embedded blackfin processor for access control application
by: Ng, Richard Yew Fatt
Published: (2012)

Pembangunan cd rom interaktif aplikasi microsoft excel bagi pelajar sijil kejuruteraan elektrik di Politeknik Shah Alam
by: Kahar, Noorfadhilah
Published: (2004)

Microsoft profit up 79%
Published: (2008)

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

Design and improvement of database for inventory and preventive maintenance system of industrial parts and components using Microsoft Excel and Graphical User Interface (GUI) / Raimi Hazwani Azman
by: Azman, Raimi Hazwani
Published: (2009)

Microsoft takes virtual step forward
Published: (2008)

Microsoft Project 2016 Training (Basic & Intermediate)
by: Sorooshian, Shahryar, et al.
Published: (2016)

Microsoft launches Windows Live seach engine
Published: (2008)

Microsoft Imagine Cup arrives again at UNIMAS
by: New Sarawak Tribune, Online
Published: (2015)

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
by: Dennis, Louise Abigail, et al.
Published: (2005)

Formal verification of RFID system using model verification agent
by: Lockman, Muhammad Tarmizi
Published: (2012)

Integrating SVC and HOL with the PROSPER Toolkit
by: Stevenson, Alan, et al.
Published: (2000)

Development Of Decision Support System For Scheduling Machine Loading By Using Microsoft Office
by: Khiew, Fook Yun
Published: (2018)

A Comparison of two Proof Critics: Power vs. Robustness
by: Dennis, Louise Abigail, et al.
Published: (2002)

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)

The NumbersWithNames Program
by: Colton, Simon, et al.
Published: (2002)

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
by: Dennis, Louise Abigail, et al.
Published: (2001)

What can be learned from failed proofs of non-theorems?
by: Dennis, Louise Abigail, et al.
Published: (2005)

Microsoft Malaysia holds Imagine Cup activities at UNIMAS
by: The Borneo Post, Online
Published: (2015)

A secure message handler using microsoft cryptoapi
by: Eh Kan, Chessda Uttraphan
Published: (2003)

A secure message handler using microsoft cryptoapi
by: Eh Kan, Chessda Uttraphan
Published: (2003)

Auto raise hand in Microsoft teams (API/Extension)
by: Teh, Boon Hin
Published: (2023)

Dynamic signature verification system
by: Lim, Wai Loon
Published: (2011)

Online Signature Verification System
by: Fauziyah, Salehuddin, et al.
Published: (2009)

Final examination question generator using microsoft word's macro
by: Hoong, Adrian Yong Weng
Published: (2014)

Active gaming using microsoft kinect in solving obesity problem
by: Tan, Vincent Sin Chia
Published: (2014)

Empowering Future Coders at Microsoft Imagine Camp 2015 in UNIMAS
by: Universiti Malaysia, Sarawak
Published: (2015)

The PROSPER Toolkit
by: Dennis, Louise Abigail, et al.
Published: (2000)

Rippling in PVS
by: Adams, Andrew A., et al.
Published: (2003)

Multibiometric systems based verification technique
by: Anwar, Farhat, et al.
Published: (2009)

Development of educational game for primary school mathematics using Microsoft Kinect
by: Gunawan, Teddy Surya, et al.
Published: (2017)

A study on microsoft SQL server 2000 / Ireen Munira Ibrahim
by: Ibrahim, Ireen Munira
Published: (2003)