Filtrer vos résultats
- 8
- 4
- 2
- 1
- 1
- 2
- 8
- 1
- 3
- 2
- 2
- 8
- 8
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 8
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
8 résultats
|
|
triés par
|
|
You-Know-Why: an Early-Stage Prototype of a Key Server Developed using Why3VerifyThis 2020 - Long-term Challenge, Apr 2020, Dublin, Ireland. pp.4--7
Communication dans un congrès
hal-03002187v1
|
||
|
Automated Formal Analysis of Temporal Properties of Ladder ProgramsInternational 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
|
||
|
A Generalized Program Verification Workflow Based on Loop Elimination and SA FormFormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada
Communication dans un congrès
hal-02431769v1
|
||
|
A Toolchain to Produce Verified OCaml Libraries2020
Pré-publication, Document de travail
hal-01783851v2
|
||
|
Giant-step Semantics for the Categorisation of Counterexamples[Research Report] RR-9407, Inria. 2021, pp.43
Rapport
hal-03213438v1
|
||
|
Formal Analysis of Ladder Programs using Deductive Verification[Research Report] RR-9402, Inria. 2021, pp.25
Rapport
hal-03199464v1
|
||
|
Automated Verification of Temporal Properties of Ladder ProgramsFMICS 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
|
||
|
GOSPEL -Providing OCaml with a Formal Specification LanguageFM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
Communication dans un congrès
hal-02157484v2
|