Home > Verimag > Projects

RT-PROOFS

ANR-PRCI 2018-2021

Formal Proofs for Real-Time Systems – Mar. 2018 to Feb. 2021 with MPI-SWS, TU Braunschweig, INRIA Spades and Onera.

New publications

Some Recent Publications
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: On Self-stabilizing Leader Election in Directed Networks
- Sylvain Boulmé: Construire des logiciels fiables
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier: Function Synthesis for Maximizing Model Counting

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

info visites 3827984

UGA

CNRS

INP Grenoble