Wiki Agenda Contact English version

Publications : Cláudio Lourenço

Retour
[8] 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 | DOI | full text on HAL ]
[7] 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 ]
[6] 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 ]
[5] Diego Diverio, Cláudio Belo Lourenço, and Claude Marché. “You-Know-Why”: an early-stage prototype of a key server developed using Why3. In VerifyThis Long-term Challenge 2020: Proceedings of the Online-Event, pages 4--7, Dublin, Ireland, April 2020. Karlsruhe Institute of Technology. [ bib | DOI | full text on HAL ]
[4] Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Belo Lourenço, and Mário Pereira. GOSPEL --- providing OCaml with a formal specification language. In Annabelle McIver and Maurice ter Beek, editors, FM 2019 23rd International Symposium on Formal Methods, Porto, Portugal, October 2019. [ bib | full text on HAL ]
[3] Cláudio Belo Lourenço, Maria João Frade, and Jorge Sousa Pinto. A Generalized Program Verification Workflow Based on Loop Elimination and SA Form. In FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, Montreal, Canada, May 2019. [ bib | full text on HAL | .pdf ]
[2] Cláudio Belo Lourenço, Maria João Frade, and Jorge Sousa Pinto. Formalizing single-assignment program verification: An adaptation-complete approach. In Peter Thiemann, editor, 25th European Symposium on Programming, pages 41--67. Springer, 2016. [ bib | DOI | http ]
[1] Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, and Jorge Sousa Pinto. Studying verification conditions for imperative programs. Electronic Communication of the European Association of Software Science and Technology, 72, 2015. [ bib | http ]

Retour
This page was generated by bibtex2html.