E-LIB Suche - Ergebnisse für: Lourenço, Cláudio Belo

1

Why3-do: The Way of Harmonious Distributed System Proofs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lourenço, Cláudio Belo ; Pinto, Jorge Sousa - p. 114-142 , 2022

Link: https://doi.org/10.1007/..

2

Automated Verification of Temporal Properties of Ladder Pro..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Lourenço, Cláudio Belo ; Cousineau, Denis ; Faissole, Florian... - p. 21-38 , 2021

Link: https://doi.org/10.1007/..

3

A generalized program verification workflow based on loop e..:

, In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering,

Lourenço, Cláudio Belo ; Frade, Maria João ; Pinto, Jorge Sousa - p. 75-84 , 2019

Link: https://dl.acm.org/doi/1..

4

Automated formal analysis of temporal properties of Ladder ..:

Belo Lourenço, Cláudio ; Cousineau, Denis ; Faissole, Florian...
International Journal on Software Tools for Technology Transfer. 24 (2022) 6 - p. 977-997 , 2022

Link: https://doi.org/10.1007/..

5

Why3-do: The way of harmonious distributed system proofs:

Lourenço, Cláudio Belo ; Pinto, Jorge Sousa
info:eu-repo/grantAgreement/FCT/9471 - RIDTI/PTDC%2FEEI-COM%2F28550%2F2017/PT. , 2022

Link: https://hdl.handle.net/1..

6

Explaining Counterexamples with Giant-Step Assertion Checki..:

Becker, Benedikt ; Lourenço, Cláudio Belo ; Marché, Claude
http://arxiv.org/abs/2108.02967. , 2021

Link: http://arxiv.org/abs/210..

7

A Single-Assignment Translation for Annotated Programs:

Lourenço, Cláudio Belo ; Frade, Maria João ; Pinto, Jorge Sousa
http://arxiv.org/abs/1601.00584. , 2016

Link: http://arxiv.org/abs/160..

8

A bounded model checker for SPARK programs:

Lourenço, Cláudio Belo ; Frade, M. J ; Pinto, Jorge Sousa
The original publication is available at www.springerlink.com. , 2014

Link: http://hdl.handle.net/18..

9

Single-assignment program verification:

Lourenço, Cláudio Filipe Belo da Silva
PD/BD/52236/2013. , 2018

Link: http://hdl.handle.net/18..

10

A framework for quality assessment of ROS repositories:

Santos, André Filipe Faria ; Cunha, Alcino ; Macedo, Nuno.
info:eu-repo/grantAgreement/FCT/5876/147326/PT. , 2016

Link: http://hdl.handle.net/18..

11

Studying verification conditions for imperative programs:

Lourenço, Cláudio Filipe Belo Silva ; Lamraoui, Si-Mohamed ; Nakajima, Shin.
info:eu-repo/grantAgreement/FCT/5876/147326/PT. , 2015

Link: http://hdl.handle.net/18..

12

A bounded model checker for SPARK programs:

Lourenço, Cláudio Filipe Belo da Silva
http://hdl.handle.net/1822/28567. , 2013

Link: http://hdl.handle.net/18..

13

Automated Formal Analysis of Temporal Properties of Ladder ..:

Belo Lourenço, Cláudio ; Cousineau, Denis ; Faissole, Florian...
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10009-022-00680-0. , 2022

Link: https://inria.hal.scienc..

14

Why3-do: The Way of Harmonious Distributed System Proofs:

Belo Lourenço, Cláudio ; Sousa Pinto, Jorge
doi:10.5281/zenodo.5914171. , 2022

Link: https://zenodo.org/recor..

15

Why3-do: The Way of Harmonious Distributed System Proofs:

Belo Lourenço, Cláudio ; Sousa Pinto, Jorge
doi:10.5281/zenodo.5914171. , 2022

Link: https://zenodo.org/recor..