Martin Clochard

14 papers A* 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Gobra: Modular Specification and Verification of Go Programs (extended version).
CoRR
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2021 — conf
Gobra: Modular Specification and Verification of Go Programs.
CAV (1)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2020 J jnl
Deductive verification with ghost monitors.
Proc. ACM Program. Lang.
Martin Clochard, Claude Marché, Andrei Paskevich
2020 J jnl
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification.
CoRR
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020 J jnl
Igloo: soundly linking compositional refinement and separation logic for distributed system verification.
Proc. ACM Program. Lang.
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2018 — —
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels. (Methods and tools for specification and proof of difficult properties of sequential programs).
Martin Clochard
2018 J jnl
The Matrix Reproved (Verification Pearl).
J. Autom. Reason.
Martin Clochard, Léon Gondelman, Mário Pereira
2017 J jnl
A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links.
J. Formaliz. Reason.
Ran Chen, Martin Clochard, Claude Marché
2016 — conf
The Matrix Reproved (Verification Pearl).
VSTTE
Martin Clochard, Léon Gondelman, Mário Pereira
2015 — conf
How to Avoid Proving the Absence of Integer Overflows.
VSTTE
Martin Clochard, Jean-Christophe Filliâtre, Andrei Paskevich
2014 — conf
Automatically Verified Implementation of Data Structures Based on AVL Trees.
VSTTE
Martin Clochard
2014 A* conf
Bridging boolean and quantitative synthesis using smoothed proof search.
POPL
Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama
2014 — conf
Formalizing Semantics with an Automatic Program Verifier.
VSTTE
Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
2014 — conf
Verified programs with binders.
PLPV
Martin Clochard, Claude Marché, Andrei Paskevich