Interactive Theorem Proving

Results: 31



#Item
1Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:46:13
2Bounded Model Generation for Isabelle/HOL and Related Applications of SAT Solvers in Interactive Theorem Proving Tjark Weber

Bounded Model Generation for Isabelle/HOL and Related Applications of SAT Solvers in Interactive Theorem Proving Tjark Weber

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-09-13 07:36:16
3AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT  INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING  1. I NTRODUCTION

AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 1. I NTRODUCTION

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2009-08-28 10:31:35
    4Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t

    Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t

    Add to Reading List

    Source URL: people.mpi-inf.mpg.de

    Language: English - Date: 2015-05-21 06:02:19
    5Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving

    Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving

    Add to Reading List

    Source URL: events.inf.ed.ac.uk

    Language: English - Date: 2012-10-10 03:52:00
    6Jasmin Christian Blanchette AugustPersonal Information

    Jasmin Christian Blanchette AugustPersonal Information

    Add to Reading List

    Source URL: people.mpi-inf.mpg.de

    Language: English - Date: 2016-08-14 09:31:55
    7Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about

    Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2013-09-13 09:25:22
    8Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012

    Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012

    Add to Reading List

    Source URL: events.inf.ed.ac.uk

    Language: English - Date: 2012-10-10 03:52:01
    9Two-Way Automata in Coq Christian Doczkal Gert Smolka  To appear in Proc. of Interactive Theorem Proving (ITP 2016)

    Two-Way Automata in Coq Christian Doczkal Gert Smolka To appear in Proc. of Interactive Theorem Proving (ITP 2016)

    Add to Reading List

    Source URL: www.ps.uni-saarland.de

    Language: English - Date: 2016-05-25 08:45:28
      10UITP 2003 Preliminary Version  Interactive Theorem Proving with Tasks M. H¨ ubner1

      UITP 2003 Preliminary Version Interactive Theorem Proving with Tasks M. H¨ ubner1

      Add to Reading List

      Source URL: www.informatik.uni-bremen.de

      Language: English - Date: 2008-02-15 04:25:19