Skip to main content
SpringerLink
Log in

The PROSPER toolkit

  • Special section on tools and algorithms for the analysis of systems
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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 can be treated as components. A system incorporating such tools becomes another component that can be embedded in an application. This paper describes the software toolkit developed by the project. 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. School of Computer Science and Information Technology, University of Nottingham, NG8 1BB, UK, , , , , , UK

    Louise A. Dennis

  2. Department of Computing Science, University of Glasgow, G12 8QQ, UK, , , , , , UK

    Graham Collins, Richard J. Boulton & Thomas F. Melham

  3. Computer Laboratory, University of Cambridge, CB3 0FD, UK, , , , , , UK

    Michael Norrish & Konrad Slind

Authors
  1. Louise A. Dennis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Graham Collins
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Norrish
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Richard J. Boulton
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Konrad Slind
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Thomas F. Melham
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Published online: 19 November 2002

Work funded by ESPRIT Framework IV Grant LTR 26241.

RID="*"

ID="*"Michael Norrish is supported by the Michael and Morven Heller Research Fellowship at St. Catharine’s College, Cambridge.

RID="**"

ID="**"Konrad Slind is now at the School of Computing, University of Utah, Salt Lake City UT 84112, USA.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dennis, L., Collins, G., Norrish, . et al. The PROSPER toolkit . STTT 4, 189–210 (2003). https://doi.org/10.1007/s100090200076

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s100090200076

Search

Navigation