axe_FormalProofs
info dans groupe team
info articles lies mot
Articles
VPL (Verimag/Verified Polyhedron Library)
Tuesday 20 October 2020
by boulme
(un)decidability of polyhedral invariant inference
Wednesday 31 August 2022
by monniaux
Members
Thursday 23 April 2009
by jahier
Partners
Thursday 27 August 2009
by jahier
by kinds
Wednesday 7 October 2009
by jahier
Certified compilation for security
Wednesday 1 September 2021
by monniaux
Daniel DE CARVALHO
Tuesday 31 December 2024
by jahier
ESTATE
Friday 31 December 2021
by stef
KALRAY-CompCert
Tuesday 6 July 2021
by monniaux, boulme
Karine Altisen’s Publications
Monday 9 July 2012
by karine
PADEC
Friday 1 January 2016
by Devismes, karine
SatAns-Cert
Tuesday 20 October 2020
by boulme
the Chamois CompCert Compiler
Tuesday 20 October 2020
by boulme, monniaux
The Impure Library
Friday 9 October 2020
by boulme, karine
The VPL Tactic
Tuesday 20 October 2020
by boulme
verified decomposition of arithmetic operators
Wednesday 31 August 2022
by monniaux
Verified global value numbering
Wednesday 31 August 2022
by monniaux
VOCaL (The Verified OCaml Library)
Monday 30 September 2019
by monin
[L3/M1/M2 Internship] Topics in Formally Verified Compilation
Wednesday 1 June 2022
by boulme
[master or PhD] Convex polyhedra in floating point
Thursday 1 September 2022
by monniaux
[master/PhD] Formally verified optimizations for safety-critical embedded code
Wednesday 15 November 2023
by monniaux
[master] automatic insertion of countermeasures in a verified compiler
Wednesday 31 August 2022
by monniaux
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
Monday 30 October 2023
by Devismes
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
Sunday 15 October 2023
by Pierre Corbineau
[master] formally verified hash-consing
Wednesday 31 August 2022
by monniaux
[Master] Sûreté des essaims de robots mobiles
Thursday 31 August 2023
by Lionel Rieg
