Home > Topics > Formal Proofs > Projects > Projects

Projects

Current Projects

Projets Nationaux

ESTATE - ANR Project 2016-2020
Enhancing Safety and self-sTAbilization in Time-varying distributed Environments

Partenariat (CIFRE)

KALRAY-CompCert - CIFRE 2018-2021
An efficient CompCert certified compiler with a backend for the KVX core

Past Projects

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)
- Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
- Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
- Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon: Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret

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

info visites 1748475

CNRS

INP Grenoble