( en | de | ru )

 

Disambiguation of "Lourenço, Cláudio Belo"

Author of the publication

copydeleteadd this publication to your clipboard
A Single-Assignment Translation for Annotated Programs.

, , and . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lourenço Chiluvane

Ulrike Wiescholek Lourenço

Marta Lourenço Conceição Luz

Alberto Düringer Lourenço Silva

Belo Malungu

 

Other publications of authors with the same name

Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach., , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 41-67. Springer, (2016)Automated formal analysis of temporal properties of Ladder programs., , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (6): 977-997 (2022)Single-assignment program verification. University of Minho, Portugal, (2018)Explaining Counterexamples with Giant-Step Assertion Checking., , and . F-IDE@NFM, volume 338 of EPTCS, page 82-88. (2021)A Bounded Model Checker for SPARK Programs., , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 24-30. Springer, (2014)A Single-Assignment Translation for Annotated Programs., , and . CoRR, (2016)Why3-do: The Way of Harmonious Distributed System Proofs., and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 114-142. Springer, (2022)Studying Verification Conditions for Imperative Programs., , , and . ECEASST, (2015)A generalized program verification workflow based on loop elimination and SA form., , and . FormaliSE@ICSE, page 75-84. IEEE / ACM, (2019)A Generalized Approach to Verification Condition Generation., , , and . COMPSAC (1), page 194-203. IEEE Computer Society, (2018)