Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kunz, César - Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute)
Preservation of proof obligations for hybrid verification methods Gilles Barthe
Transforming certificates of program correctness along justified program transformations
Relational verification using product programs Gilles Barthe, Juan Manuel Crespo, and Cesar Kunz
An introduction to certificate translation Gilles Barthe and Cesar Kunz
DRAFT--Do not distribute Modular Verification and Certificate Translation for Advice
Certificate Translation in Abstract Interpretation Gilles Barthe and Cesar Kunz
Certificate translation for specification-preserving advices Gilles Barthe Cesar Kunz
Certified Reasoning in Memory Hierarchies Gilles Barthe1,2
Certified Reasoning in Memory Hierarchies Gilles Barthe, Cesar Kunz, and Jorge Luis Sacchini
Certificate Translation for Optimizing Compilers (Extended Abstract)
ED n 84: Sciences et technologies de l'information et de la communication N attribu par la bibliothque
A machine-checked framework for relational separation logic
A machine-checked framework for relational separation logic
An Abstract Model of Certificate Translation GILLES BARTHE, IMDEA Software Institute
Unleashing relational program logics Gilles Barthe Juan Manuel Crespo Cesar Kunz
