Cláudio Belo Lourenço
Cláudio Belo Lourenço
INRIA Saclay
Verified email at
Cited by
Cited by
A framework for quality assessment of ROS repositories
A Santos, A Cunha, N Macedo, C Lourenço
Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International …, 2016
Studying Verification Conditions for Imperative Programs
CB Lourenço, SM Lamraoui, S Nakajima, JS Pinto
15th International Workshop on Automated Verification of Critical Systems 72, 2015
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
CB Lourenço, MJ Frade, JS Pinto
European Symposium on Programming, 41-67, 2016
A Generalized Approach to Verification Condition Generation
CB Lourenço, MJ Frade, S Nakajima, JS Pinto
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
A Bounded Model Checker for SPARK Programs
CB Lourenço, MJ Frade, JS Pinto
International Symposium on Automated Technology for Verification and …, 2014
A bounded model checker for SPARK programs
CB Lourenço
Master’s thesis, University of Minho, 2013
GOSPEL—Providing OCaml with a Formal Specification Language
A Charguéraud, JC Filliâtre, C Lourenço, M Pereira
International Symposium on Formal Methods, 484-501, 2019
Experimenting with predicate abstraction
VC Miraldo, MJ Frade, C Lourenço, JS Pinto
A generalized program verification workflow based on loop elimination and SA form
CB Lourenço, MJ Frade, JS Pinto
2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019
A Tutorial on Verification Conditions Using Single-Assignment Form
CB Lourenço, MJ Frade, JS Pinto
unpublished draft available from http://haslab. uminho. pt/jsp), University …, 2015
SPARK-BMC: checking SPARK code for bugs
C Lourenço, VC Miraldo, MJ Frade, JS Pinto
Simpósio de Informática-Inforum 2013, 2013
A Toolchain to Produce Verified OCaml Libraries
JC Filliâtre, L Gondelman, C Lourenço, A Paskevich, M Pereira, ...
A Single-Assignment Translation for Annotated Programs
CB Lourenço, MJ Frade, JS Pinto
arXiv preprint arXiv:1601.00584, 2016
You-Know-Why: an Early-Stage Prototype of a Key Server Developed using Why3
D Diverio, C Lourenço, C Marché
The system can't perform the operation now. Try again later.
Articles 1–14