research
oaioai:eprints.nottingham.ac.uk:340

System Description: Embedding Verification into Microsoft Excel

Authors
Publication date
1 January 2000
Publisher
'Springer Fachmedien Wiesbaden GmbH'

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

    Similar works

    Full text

    thumbnail-image

    This paper was published in Nottingham ePrints.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.