Wiki Agenda Contact Version française

Publications 2021

Back

Books / Journals / Conferences / PhD theses / Misc. / Reports

Books and book chapters

Journals

[1] Jean-Christophe Filliâtre. Simpler proofs with decentralized invariants. Journal of Logical and Algebraic Methods in Programming, January 2021. See http://why3.lri.fr/spdi/. [ bib | DOI | full text on HAL ]

Conferences

[1] Benedikt Becker, Cláudio Belo Lourenço, and Claude Marché. Explaining counterexamples with giant-step assertion checking. In José Creissac Campos and Andrei Paskevich, editors, 6th Workshop on Formal Integrated Development Environments (F-IDE 2021). Electronic Proceedings in Theoretical Computer Science, May 2021. [ bib | full text on HAL ]

PhD theses

Misc.

Reports

[2] Benedikt Becker, Cláudio Belo Lourenço, and Claude Marché. Giant-step semantics for the categorisation of counterexamples. Research Report RR-9407, Inria, April 2021. [ bib | full text on HAL ]
[1] Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, and Hiroaki Inoue. Formal analysis of Ladder programs using deductive verification. Research Report RR-9402, Inria, April 2021. [ bib | full text on HAL ]

Back

Books / Journals / Conferences / PhD theses / Misc. / Reports


This page was generated by bibtex2html.