Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

8 résultats
Page :
triés par
Image document

You-Know-Why: an Early-Stage Prototype of a Key Server Developed using Why3

 Diego Diverio , Cláudio Lourenço , Claude Marché
VerifyThis 2020 - Long-term Challenge, Apr 2020, Dublin, Ireland. pp.4--7
Communication dans un congrès hal-03002187v1
Image document

A Toolchain to Produce Verified OCaml Libraries

 Jean-Christophe Filliâtre , Léon Gondelman , Cláudio Lourenço , Andrei Paskevich , Mário Pereira , et al.
2020
Pré-publication, Document de travail hal-01783851v2
Image document

Giant-step Semantics for the Categorisation of Counterexamples

 Benedikt Becker , Cláudio Belo Lourenço , Claude Marché
[Research Report] RR-9407, Inria. 2021, pp.43
Rapport hal-03213438v1
Image document

A Generalized Program Verification Workflow Based on Loop Elimination and SA Form

 Cláudio Belo Lourenço , Maria João Frade , Jorge Sousa Pinto
FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada
Communication dans un congrès hal-02431769v1
Image document

Automated Formal Analysis of Temporal Properties of Ladder Programs

 Cláudio Belo Lourenço , Denis Cousineau , Florian Faissole , Claude Marché , David Mentré , et al.
International Journal on Software Tools for Technology Transfer, 2022, 24 (6), pp.977-997. ⟨10.1007/s10009-022-00680-0⟩
Article dans une revue hal-03737869v1
Image document

Formal Analysis of Ladder Programs using Deductive Verification

 Cláudio Lourenço , Denis Cousineau , Florian Faissole , Claude Marché , David Mentré , et al.
[Research Report] RR-9402, Inria. 2021, pp.25
Rapport hal-03199464v1
Image document

Automated Verification of Temporal Properties of Ladder Programs

 Cláudio Lourenço , Denis Cousineau , Florian Faissole , Claude Marché , David Mentré , et al.
FMICS 2021 - Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. ⟨10.1007/978-3-030-85248-1_2⟩
Communication dans un congrès hal-03281580v1
Image document

GOSPEL -Providing OCaml with a Formal Specification Language

 Arthur Charguéraud , Jean-Christophe Filliâtre , Cláudio Lourenço , Mário Pereira
FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
Communication dans un congrès hal-02157484v2
Page :