Home > Topics > Formal Proofs

Members

Professors & Assistant Professors

Karine Altisen	0457422223	Grenoble INP
Sylvain Boulme	0457422206	Grenoble INP
Pierre Corbineau	0457422211	Grenoble INP
Jean-François Monin	0457422231	UGA
Lionel Rieg	0457422209	Grenoble INP

Researchers

0457422232

CNRS

Engineers

0457422223

CNRS

PhD Candidates

Alexandre Berard		UGA/CIFRE
Basile Gros		MESR
Alban Reynaud Michez		UGA

New publications

Some Recent Publications (Preuves Formelles)
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing Synchronous Unison in Directed Networks
- David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel: Testing a Formally Verified Compiler
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: On Self-stabilizing Leader Election in Directed Networks
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Complexité certifiée d'algorithmes autostabilisants en rondes
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing synchronous unison in directed networks

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

info visites 4155229

UGA

CNRS

INP Grenoble