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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540710653, 9783540710677
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Brief Overview of PVS

2008 ◽  
pp. 22-27 ◽  
Author(s):  
Sam Owre ◽  
Natarajan Shankar

An ACL2 Tutorial

2008 ◽  
pp. 17-21 ◽  
Author(s):  
Matt Kaufmann ◽  
J Strother Moore

Formalizing Soundness of Contextual Effects

2008 ◽  
pp. 262-277 ◽  
Author(s):  
Polyvios Pratikakis ◽  
Jeffrey S. Foster ◽  
Michael Hicks ◽  
Iulian Neamtiu
Keyword(s):  
Contextual Effects

Will This Be Formal?

2008 ◽  
pp. 6-11 ◽  
Author(s):  
Steven P. Miller

A Brief Overview of HOL4

2008 ◽  
pp. 28-32 ◽  
Author(s):  
Konrad Slind ◽  
Michael Norrish

A Short Presentation of Coq

2008 ◽  
pp. 12-16 ◽  
Author(s):  
Yves Bertot
Keyword(s):  
Short Presentation

Lightweight Separation

2008 ◽  
pp. 199-214 ◽  
Author(s):  
Holger Gast

HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier

2008 ◽  
pp. 150-166 ◽  
Author(s):  
Sascha Böhme ◽  
K. Rustan M. Leino ◽  
Burkhart Wolff

A Type of Partial Recursive Functions

2008 ◽  
pp. 102-117 ◽  
Author(s):  
Ana Bove ◽  
Venanzio Capretta
Keyword(s):  
Recursive Functions ◽  
Partial Recursive Functions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document