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

[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler

Monday 25 March 2030 by Bruno Ferres, monniaux

[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

Other keywords in this group

Other groups of keywords

Sections

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

info visites 3986757