Guillaume Petiot
Identifiers
- name variant Guillaume Petiot 0.60 · backfill
Papers (2)
- Static and Dynamic Verification of Relational Properties on Self-Composed C Code cs.SE · 2018 · author #5
- Your Proof Fails? Testing Helps to Find the Reason cs.SE · 2015 · author #1
Mentions
- 1508.01691 #1 · backfill · confidence 0.70 Guillaume Petiot
Frequent Coauthors
- Nikolai Kosmatov 2 shared papers
- Alain Giorgetti 1 shared papers
- Bernard Botella 1 shared papers
- Jacques Julliand 1 shared papers
- Lionel Blatter 1 shared papers
- Pascale Le Gall 1 shared papers
- Virgile Prevosto 1 shared papers