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

ESTATE

Friday 31 December 2021 by stef

KALRAY-CompCert

Tuesday 6 July 2021 by monniaux, boulme

PADEC

Friday 1 January 2016 by Devismes, karine

SatAns-Cert

Tuesday 20 October 2020 by boulme

The Impure Library

Friday 9 October 2020 by boulme, karine

the KVX CompCert Compiler

Tuesday 20 October 2020 by boulme, monniaux

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] automatic insertion of countermeasures in a verified compiler

Wednesday 31 August 2022 by monniaux

[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq

Saturday 30 October 2021 by Devismes

[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence

Monday 15 August 2022 by Pierre Corbineau

[master] formally verified hash-consing

Wednesday 31 August 2022 by monniaux

Other keywords in this group

Other groups of keywords

Sections

Contact | Site Map | Site powered by SPIP 3.2.15 + AHUNTSIC [CC License]

info visites 1852422