title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
Home > Verimag > Publications
bibtex
@inproceedings{Mon10c,
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Automation: Flying High?
Seminars
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Pascal Fradet, Maxime Lesourd, Jean-Franç cois Monin, Sophie Quinton: A Generic Coq Proof of Typical Worst-Case Analysis
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally and practically verifying flow properties in industrial systems
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
