Certified Programs and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642253782, 9783642253799
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructive Formalization of Hybrid Logic with Eventualities

2011 ◽  
pp. 5-20 ◽  
Author(s):  
Christian Doczkal ◽  
Gert Smolka
Keyword(s):  
Hybrid Logic

Verification of Scalable Synchronous Queue

2011 ◽  
pp. 247-263
Author(s):  
Jinjiang Lei ◽  
Zongyan Qiu

scholarly journals First Steps towards the Certification of an ARM Simulator Using Compcert

2011 ◽  
pp. 346-361 ◽  
Author(s):  
Xiaomu Shi ◽  
Jean-François Monin ◽  
Frédéric Tuong ◽  
Frédéric Blanqui

scholarly journals A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses

2011 ◽  
pp. 135-150 ◽  
Author(s):  
Michael Armand ◽  
Germain Faure ◽  
Benjamin Grégoire ◽  
Chantal Keller ◽  
Laurent Théry ◽  
...  
Keyword(s):  
Smt Solvers

Automatically Verifying Typing Constraints for a Data Processing Language

2011 ◽  
pp. 296-313 ◽  
Author(s):  
Michael Backes ◽  
Cătălin Hriţcu ◽  
Thorsten Tarrach
Keyword(s):  
Data Processing ◽  
Processing Language

Algebra, Logic, Locality, Concurrency

2011 ◽  
pp. 3-4
Author(s):  
Peter W. O’Hearn
Keyword(s):  
Algebra Logic

scholarly journals Formalization of Wu’s Simple Method in Coq

2011 ◽  
pp. 71-86 ◽  
Author(s):  
Jean-David Génevaux ◽  
Julien Narboux ◽  
Pascal Schreck
Keyword(s):  
Simple Method

scholarly journals Modular SMT Proofs for Fast Reflexive Checking Inside Coq

2011 ◽  
pp. 151-166 ◽  
Author(s):  
Frédéric Besson ◽  
Pierre-Emmanuel Cornilleau ◽  
David Pichardie
Load More ...
Sign in / Sign up

Export Citation Format

Share Document