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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/s100090200076 | STTT |
Keywords | DocType | Volume |
theorem proving,proof engine,tool integration,formal verification,programming language | Journal | 4 |
Issue | Citations | PageRank |
2 | 4 | 0.65 |
References | Authors | |
29 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Louise A. Dennis | 1 | 360 | 37.62 |
Graham Collins | 2 | 72 | 6.19 |
Michael Norrish | 3 | 1091 | 61.77 |
Richard J. Boulton | 4 | 255 | 23.64 |
Konrad Slind | 5 | 577 | 55.90 |
Thomas F. Melham | 6 | 384 | 35.63 |