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.