Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
Latest Publications

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

15

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642033582, 9783642033599

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Psi-calculi in Isabelle

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_9 ◽

2009 ◽

pp. 99-114 ◽

Author(s):

Jesper Bengtson ◽

Joachim Parrow

Download Full-text

A Formalisation of Smallfoot in HOL

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_32 ◽

2009 ◽

pp. 469-484 ◽

Author(s):

Thomas Tuerk

Download Full-text

A Hoare Logic for the State Monad

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_30 ◽

2009 ◽

pp. 440-451 ◽

Author(s):

Wouter Swierstra

Keyword(s):

The State ◽

Download Full-text

VCC: A Practical System for Verifying Concurrent C

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_2 ◽

2009 ◽

pp. 23-42 ◽

Author(s):

Ernie Cohen ◽

Markus Dahlweid ◽

Mark Hillebrand ◽

Dirk Leinenbach ◽

Michał Moskal ◽

...

Keyword(s):

Practical System

Download Full-text

Liveness Reasoning with Isabelle/HOL

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_33 ◽

2009 ◽

pp. 485-499 ◽

Author(s):

Jinshuang Wang ◽

Huabing Yang ◽

Xingyuan Zhang

Download Full-text

Verified LISP Implementations on ARM, x86 and PowerPC

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_25 ◽

2009 ◽

pp. 359-374 ◽

Author(s):

Magnus O. Myreen ◽

Michael J. C. Gordon

Download Full-text

Let’s Get Physical: Models and Methods for Real-World Security Protocols

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_1 ◽

2009 ◽

pp. 1-22 ◽

Author(s):

David Basin ◽

Srdjan Capkun ◽

Patrick Schaller ◽

Benedikt Schmidt

Keyword(s):

Security Protocols ◽

Physical Models

Download Full-text

Formal Verification of Exact Computations Using Newton’s Method

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_28 ◽

2009 ◽

pp. 408-423 ◽

Author(s):

Nicolas Julien ◽

Ioana Paşca

Keyword(s):

Formal Verification ◽

Newton’S Method ◽

Newton's Method

Download Full-text

Certification of Termination Proofs Using CeTA

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_31 ◽

2009 ◽

pp. 452-468 ◽

Author(s):

René Thiemann ◽

Christian Sternagel

Keyword(s):

Termination Proofs

Download Full-text

A Brief Overview of Mizar

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_5 ◽

2009 ◽

pp. 67-72 ◽

Author(s):

Adam Naumowicz ◽

Artur Korniłowicz

Download Full-text