The PROSPER Toolkit

Dennis, Louise Abigail and Collins, Graham and Norrish, Michael and Boulton, Richard and Slind, Konrad and Robinson, Graham and Gordon, Mike and Melham, Tom (2000) The PROSPER Toolkit. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000, Berlin.

[img] Postscript - Requires a viewer, such as GSview
Download (206kB)

Abstract

The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporating such tools becomes another component that can be embedded in an application.



This paper describes the PROSPER Toolkit which enables this. The nature of communication between components is specified in a language-independent way. It is implemented in several common programming languages to allow a wide variety of tools to have access to the toolkit.

Item Type: Conference or Workshop Item (Paper)
Schools/Departments: University of Nottingham UK Campus > Faculty of Science > School of Computer Science
Depositing User: Dennis, Louise Abigail
Date Deposited: 08 Dec 2005
Last Modified: 09 Oct 2007 15:52
URI: http://eprints.nottingham.ac.uk/id/eprint/341

Actions (Archive Staff Only)

Edit View Edit View