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)
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret
- 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
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- 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)
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel

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

info visites 1684343

CNRS

INP Grenoble