Frédéric Besson
From MaRDI portal
Person:1687718
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Itauto: An Extensible Intuitionistic SAT Solver | 2023-06-20 | Paper |
| \textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics Journal of Automated Reasoning | 2019-08-21 | Paper |
| A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data Journal of Automated Reasoning | 2019-04-29 | Paper |
| CompCertS: a memory-aware verified C compiler using pointer as integer semantics | 2018-01-04 | Paper |
| A concrete memory model for CompCert Interactive Theorem Proving | 2015-09-14 | Paper |
| Modular SMT proofs for fast reflexive checking inside Coq Certified Programs and Proofs | 2011-11-22 | Paper |
| Fast Reflexive Arithmetic Tactics the Linear Case and Beyond Lecture Notes in Computer Science | 2009-03-10 | Paper |
Research outcomes over time
This page was built for person: Frédéric Besson
