Pascale Le Gall

Identifiers

No identifiers captured yet.

Papers (3)

1. MetAcsl: Specification and Verification of High-Level Properties cs.SE · 2018 · author #5
2. Static and Dynamic Verification of Relational Properties on Self-Composed C Code cs.SE · 2018 · author #3
3. RPP: Automatic Proof of Relational Properties by Self-Composition cs.SE · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Nikolai Kosmatov 3 shared papers
• Virgile Prevosto 3 shared papers
• Lionel Blatter 2 shared papers
• Guillaume Petiot 1 shared papers
• Louis Rilling 1 shared papers
• Virgile Robles 1 shared papers