MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The PROSPER Toolkit." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

The PROSPER Toolkit
by Graham Collins, L. Dennis, G. Collins, Michael Norrish, The Prosper Toolkit, Louise Dennis, Louise Dennis, Michael Norrish, Michael Norrish — 2000
…Proof and Specification Assisted Design Environments ESPRIT LTR Project 26241 The PROSPER Toolkit 1…
Cited by 34 (2 self) – Add To MetaCart

The PROSPER Toolkit
by K. Slind, Graham Collins, Richard Boulton, Graham Robinson, Louise Dennis, Louise Dennis, Michael Norrish, Michael Norrish, Konrad Slind, Konrad Slind — 2001 — In: Proc. of the 6th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems
…Proof and Specification Assisted Design Environments ESPRIT LTR Project 26241 The PROSPER Toolkit…
Cited by 1 (0 self) – Add To MetaCart

System Description: Embedding Verification into Microsoft Excel
by Graham Collins, Louise A. Dennis — 2000
… whether the Prosper toolkit satised this aim. The system combines the toolkit with Microsoft Excel, a…
Add To MetaCart

HOL-MDG: A Hybrid Tool for Formal Verification
by S. Kort, S. Tahar, P. Curzon, X. Song — 2000
… tools was performed using the PROSPER toolkit [4]. Many integration methodologies have been investigated…
Add To MetaCart

Tools and Algorithms for the Construction and Analysis of Systems: An STTT special section
by Susanne Graf
… the \Prosper Toolkit", a platform which allow to integrate a wide range of veri cation tools, including theorem…
Cited by 2 (0 self) – Add To MetaCart

Coordination of Mathematical Agents
by Jürgen Zimmer — 2001
…- toolkit, and into intensive case studies. The Prosper-toolkit currently integrates the 3 CASE: Computer…
Add To MetaCart

Automatic Guidance of Mechanically Generated Proofs
by A. Bundy — 1995
…M-HOL system will become part of the Prosper toolkit and so become available to Prosper's industrial partners…
Cited by 1 (1 self) – Add To MetaCart

Computer algebra meets automated theorem proving: Integrating Maple and pvs
by Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin — 2001 — Theorem Proving in Higher Order Logics (TPHOLs 2001), volume 2152 of LNCS
… to the PROSPER toolkit [11], which allows systems designers using CAD and CASE tools access to mechanised…
Cited by 12 (3 self) – Add To MetaCart

Hidden Verification for Computational Mathematics
by Hanne Gottliebsen, Tom Kelsey, Ursula Martin
… of "disappearing formal methods" [40] and that adopted by the Prosper project in using HOL as a back-end to CASE…
Cited by 1 (1 self) – Add To MetaCart

The Heterogeneous Tool Set
by Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl — 2007 — of Lecture Notes in Computer Science
…]. Integrations of multiple decision procedures and model checkers into theorem provers, like in the PROSPER…
Cited by 11 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB