Guillaume Petiot

Identifiers

• name variant Guillaume Petiot 0.60 · backfill

Papers (2)

1. Static and Dynamic Verification of Relational Properties on Self-Composed C Code cs.SE · 2018 · author #5
2. 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