axe_FormalProofs

info dans groupe team

info articles lies mot

Articles

VPL (Verimag/Verified Polyhedron Library)

Tuesday 20 October 2020 by boulme

Members

Thursday 23 April 2009 by jahier

Partners

Thursday 27 August 2009 by jahier

by kinds

Wednesday 7 October 2009 by jahier

Certification of Distributed Self-Stabilizing Algorithms Using Coq

Friday 30 October 2020 by Devismes

Certified compilation for security

Wednesday 1 September 2021 by monniaux

Convex polyhedra in floating point

Thursday 1 September 2022 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

VOCaL (The Verified OCaml Library)

Monday 30 September 2019 by monin

Other keywords in this group

Other groups of keywords

Sections

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

info visites 1756749