Practical Proof Checking for Program Certification (2005)

by Geoff Sutcliffe , Ewen Denney , Bernd Fischer
Venue:Proceedings of the CADE-20 Workshop on Empirically Successful Classical Automated Reasoning (ESCAR’05
Citations:5 - 4 self

Active Bibliography

Received (Day Month Year) – Geoff Sutcliffe
2 Discrete Event Calculus Deduction using First-Order Automated Theorem Proving – Erik T. Mueller, Geoff Sutcliffe
4 A program certification assistant based on fully automated theorem provers – Ewen Denney, Bernd Fischer - 2005
4 Integration of the TPTPWorld into SigmaKEE – Steven Trac, Geoff Sutcliffe, Adam Pease
Volume Editors – Maria Paola Bonacina, Mark E. Stickel (eds, Randy Goebel, Wolfgang Wahlster, Joerg Siekmann, Mark E. Stickel (eds, Maria Paola Bonacina, Mark E. Stickel
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
1 Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning – Konstantin Korovin
30 TSTP Data-Exchange Formats for Automated Theorem Proving Tools – Geoff Sutcliffe, Jürgen Zimmer, Stephan Schulz - 2004
Practical Aspects of Automated Reasoning and Evaluation of Systems for Higher Order Logic – Boris Konev, Renate Schmidt, Stephan Schulz, Boris Konev, Renate A. Schmidt, Stephan Schulz, Tu München - 2008
2 Finite models for formal security proofs – Jean Goubault-larrecq
3 Developing Modal Tableaux and Resolution Methods via First-Order Resolution – Renate A. Schmidt
New Implementation Framework for Saturation-Based Reasoning – Alexandre Riazanov - 2006
2 Labelled Clauses – Tal Lev-ami, Christoph Weidenbach, Thomas Reps, Mooly Sagiv
14 An empirical evaluation of automated theorem provers in software certification – Ewen Denney, Bernd Fischer, Johann Schumann - 2004
8 MaLARea: a Metasystem for Automated Reasoning in Large Theories – Josef Urban
2 Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange – Josef Urban
4 Communication formalisms for automated theorem proving tools – Geoff Sutcliffe, Jürgen Zimmer, Stephan Schulz - 2003
4 A Grand Challenge of Theorem Discovery – Geoff Sutcliffe, Yi Gao, Simon Colton - 2003
29 Automation for interactive proof: First prototype – Jia Meng, Claire Quigley, Lawrence C. Paulson