Home
>
Topics
>
Formal Proofs
>
Projects
>
Projects
Projects
Current Projects
Past Projects
ESTATE
- ANR Project 2016-2020
KALRAY-CompCert
- CIFRE 2018-2021
PADEC
- AGIR-Pôle-MSTIC 2015
VOCaL (The Verified OCaml Library)
- ANR 2015-2019
The whole Verimag Projects page
New publications
Some Recent Publications (Preuves Formelles)
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certification of an exact worst-case self-stabilization time
Paolo Torrini, Sylvain Boulmé:
A CompCert Backend with Symbolic Encryption
David Monniaux, Sylvain Boulmé:
The Trusted Computing Base of the CompCert Verified Compiler
David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel:
Testing a Formally Verified Compiler
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes:
Self-stabilizing Synchronous Unison in Directed Networks
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Complexité certifiée d'algorithmes autostabilisants en rondes
Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino:
Formally Verified Superblock Scheduling
Léo Gourdin:
Lazy Code Transformations in a Formally Verified Compiler
Jobs and internships
Jobs and internships (Preuves Formelles)
[Master] Proved-Secure Compilation for RISC-V Processor
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
Members
Partners
Tools
Jobs and Internships
Publications
Projects
Ongoing Phd Thesis
PACS
MOHYTOS
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2139932
English
Français