Jean-Christophe Filliâtre

Available identifiers

Publication	Date of Publication	Type
Simpler proofs with decentralized invariants	2021-08-03	Paper
Trusting computations: a mechanized proof from partial differential equations to actual program	2017-08-21	Paper
The spirit of ghost code	2017-03-28	Paper
Why3 — Where Programs Meet Provers	2013-08-05	Paper
Wave equation numerical resolution: a comprehensive mechanized proof of a C program	2013-07-05	Paper
One Logic to Use Them All	2013-06-14	Paper
Correct Code Containing Containers	2011-07-07	Paper
Formal Proof of a Wave Equation Resolution Scheme: The Method Error	2010-09-14	Paper
Combining Coq and Gappa for Certifying Floating-Point Programs	2009-07-09	Paper
Semi-persistent Data Structures	2008-04-11	Paper
Programming Languages and Systems	2007-09-28	Paper
Formal proof of a program: find	2007-01-11	Paper
Verification of non-functional programs using interpretations in type theory	2004-05-18	Paper
Producing all ideals of a forest, functionally	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4553256	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4944851	2000-03-22	Paper

This page was built for person: Jean-Christophe Filliâtre