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

scholarly journals Verified LISP Implementations on ARM, x86 and PowerPC

2009 ◽  
pp. 359-374 ◽  
Author(s):  
Magnus O. Myreen ◽  
Michael J. C. Gordon

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

2009 ◽  
pp. 1-22 ◽  
Author(s):  
David Basin ◽  
Srdjan Capkun ◽  
Patrick Schaller ◽  
Benedikt Schmidt
Keyword(s):  
Real World ◽  
Security Protocols ◽  
Physical Models

Psi-calculi in Isabelle

2009 ◽  
pp. 99-114 ◽  
Author(s):  
Jesper Bengtson ◽  
Joachim Parrow

A Hoare Logic for the State Monad

2009 ◽  
pp. 440-451 ◽  
Author(s):  
Wouter Swierstra
Keyword(s):  
The State ◽  
Hoare Logic

VCC: A Practical System for Verifying Concurrent C

2009 ◽  
pp. 23-42 ◽  
Author(s):  
Ernie Cohen ◽  
Markus Dahlweid ◽  
Mark Hillebrand ◽  
Dirk Leinenbach ◽  
Michał Moskal ◽  
...  
Keyword(s):  
Practical System

Liveness Reasoning with Isabelle/HOL

2009 ◽  
pp. 485-499 ◽  
Author(s):  
Jinshuang Wang ◽  
Huabing Yang ◽  
Xingyuan Zhang

Without Loss of Generality

2009 ◽  
pp. 43-59 ◽  
Author(s):  
John Harrison

Practical Tactics for Separation Logic

2009 ◽  
pp. 343-358 ◽  
Author(s):  
Andrew McCreight
Keyword(s):  
Separation Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document