Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642323461, 9783642323478

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bridging the Gap: Automatic Verified Abstraction of C

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_8 ◽

2012 ◽

pp. 99-115 ◽

Cited By ~ 22

Author(s):

David Greenaway ◽

June Andronick ◽

Gerwin Klein

Download Full-text

Mechanised Separation Algebra

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_22 ◽

2012 ◽

pp. 332-337 ◽

Cited By ~ 15

Author(s):

Gerwin Klein ◽

Rafal Kolanski ◽

Andrew Boyton

Download Full-text

Standalone Tactics Using OpenTheory

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_28 ◽

2012 ◽

pp. 405-411 ◽

Cited By ~ 2

Author(s):

Ramana Kumar ◽

Joe Hurd

Download Full-text

Synthesis of Distributed Mobile Programs Using Monadic Types in Coq

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_13 ◽

2012 ◽

pp. 183-200 ◽

Cited By ~ 1

Author(s):

Marino Miculan ◽

Marco Paviotti

Download Full-text

Priority Inheritance Protocol Proved Correct

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_15 ◽

2012 ◽

pp. 217-232 ◽

Cited By ~ 4

Author(s):

Xingyuan Zhang ◽

Christian Urban ◽

Chunhan Wu

Keyword(s):

Priority Inheritance Protocol

Download Full-text

Bag Equivalence via a Proof-Relevant Membership Relation

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_11 ◽

2012 ◽

pp. 149-165 ◽

Cited By ~ 1

Author(s):

Nils Anders Danielsson

Keyword(s):

Membership Relation

Download Full-text

Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_26 ◽

2012 ◽

pp. 377-392 ◽

Cited By ~ 20

Author(s):

Fabian Immler ◽

Johannes Hölzl

Keyword(s):

Numerical Analysis ◽

Differential Equations ◽

Ordinary Differential Equations

Download Full-text

A Compact Proof of Decidability for Regular Expression Equivalence

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_19 ◽

2012 ◽

pp. 283-298 ◽

Cited By ~ 6

Author(s):

Andrea Asperti

Keyword(s):

Regular Expression

Download Full-text

Stop When You Are Almost-Full

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_17 ◽

2012 ◽

pp. 250-265 ◽

Cited By ~ 12

Author(s):

Dimitrios Vytiniotis ◽

Thierry Coquand ◽

David Wahlstedt

Download Full-text

Abstract Interpretation of Annotated Commands

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_9 ◽

2012 ◽

pp. 116-132 ◽

Cited By ~ 7

Author(s):

Tobias Nipkow

Keyword(s):

Abstract Interpretation

Download Full-text

Interactive Theorem Proving - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Bridging the Gap: Automatic Verified Abstraction of C

Mechanised Separation Algebra

Standalone Tactics Using OpenTheory

Synthesis of Distributed Mobile Programs Using Monadic Types in Coq

Priority Inheritance Protocol Proved Correct

Bag Equivalence via a Proof-Relevant Membership Relation

Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL

A Compact Proof of Decidability for Regular Expression Equivalence

Stop When You Are Almost-Full

Abstract Interpretation of Annotated Commands

Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications