<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-07-10 09:41:34Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification |
| Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA AbstractDocID: 1qH8X - View Document |
| Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff SutcliffeDocID: 1qjaE - View Document |
| The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de WaalDocID: 1pBlm - View Document |
| Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. PaulsonDocID: 1pyfq - View Document |
| Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012DocID: 1oNzB - View Document |