The PROSPER toolkit. (English) Zbl 0971.68638
Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 78-92 (2000).
Summary: 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.
For the entire collection see [Zbl 0935.00048].
For the entire collection see [Zbl 0935.00048].
MSC:
| 68U99 | Computing methodologies and applications |
| 68Q60 | Specification and verification (program logics, model checking, etc.) |
