Frédéric Besson

From MaRDI portal
Person:1687718

Available identifiers

zbMath Open besson.fredericMaRDI QIDQ1687718

List of research outcomes





PublicationDate of PublicationType
Itauto: An Extensible Intuitionistic SAT Solver2023-06-20Paper
\textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics2019-08-21Paper
A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data2019-04-29Paper
CompCertS: a memory-aware verified C compiler using pointer as integer semantics2018-01-04Paper
A concrete memory model for CompCert2015-09-14Paper
Modular SMT proofs for fast reflexive checking inside Coq2011-11-22Paper
Fast Reflexive Arithmetic Tactics the Linear Case and Beyond2009-03-10Paper

Research outcomes over time

This page was built for person: Frédéric Besson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1687718&oldid=6385354"
Powered by MediaWiki