Martin Clochard

According to our database, Martin Clochard authored at least 12 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Gobra: Modular Specification and Verification of Go Programs (extended version).

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

CoRR, 2021

Gobra: Modular Specification and Verification of Go Programs.

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Deductive verification with ghost monitors.

Martin Clochard, Claude Marché, Andrei Paskevich

Proc. ACM Program. Lang., 2020

Igloo: soundly linking compositional refinement and separation logic for distributed system verification.

Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin

Proc. ACM Program. Lang., 2020

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

PhD thesis, 2018

The Matrix Reproved (Verification Pearl).

Martin Clochard, Léon Gondelman, Mário Pereira

J. Autom. Reason., 2018

2017

A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links.

Ran Chen, Martin Clochard, Claude Marché

J. Formaliz. Reason., 2017

2015

How to Avoid Proving the Absence of Integer Overflows.

Martin Clochard, Jean-Christophe Filliâtre, Andrei Paskevich

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

2014

Formalizing Semantics with an Automatic Program Verifier.

Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Automatically Verified Implementation of Data Structures Based on AVL Trees.

Martin Clochard

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Bridging boolean and quantitative synthesis using smoothed proof search.

Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Verified programs with binders.

Martin Clochard, Claude Marché, Andrei Paskevich

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014