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

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 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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document