Zobrazeno 1 - 10
of 227
pro vyhledávání: '"MARCHÉ, Claude"'
Publikováno v:
EPTCS 338, 2021, pp. 82-88
Identifying the cause of a proof failure during deductive verification of programs is hard: it may be due to an incorrectness in the program, an incompleteness in the program annotations, or an incompleteness of the prover. The changes needed to reso
Externí odkaz:
http://arxiv.org/abs/2108.02967
Publikováno v:
EPTCS 284, 2018, pp. 1-15
Among formal methods, the deductive verification approach allows establishing the strongest possible formal guarantees on critical software. The downside is the cost in terms of human effort required to design adequate formal specifications and to su
Externí odkaz:
http://arxiv.org/abs/1811.10814
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2018 99:97-113
Autor:
Marché, Claude
Publikováno v:
In Science of Computer Programming 15 December 2014 96 Part 3:279-296
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Belo Lourenço, Cláudio, Cousineau, Denis, Faissole, Florian, Marché, Claude, Mentré, David, Inoue, Hiroaki
Publikováno v:
International Journal on Software Tools for Technology Transfer; Dec2022, Vol. 24 Issue 6, p977-997, 21p
Autor:
Lourenço, Cláudio, Cousineau, Denis, Faissole, Florian, Marché, Claude, Mentré, David, Inoue, Hiroaki
Publikováno v:
[Research Report] RR-9402, Inria. 2021, pp.25
Programmable logic controllers (PLC) are industrial digital computers used as automation controllers of manufacturing processes, such as assembly lines or robotic devices. The Ladder language, also known as Ladder Logic, is a programming language use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c2b533e677c1c15eaff4516cd49f8421
https://hal.inria.fr/hal-03199464
https://hal.inria.fr/hal-03199464
Publikováno v:
JFLA 2020-Journées Francophones des Langages Applicatifs
JFLA 2020-Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
JFLA 2020-Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
National audience; Dans un contexte de vérification formelle de programmes, utilisant des démonstrateurs automatiques, la base de confiance des environnements de vérification est typiquement très large. Ainsi, un outil de vérification de program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::46303da6a1145e45ced1bdd2576179ee
https://hal.inria.fr/hal-02384946v2/document
https://hal.inria.fr/hal-02384946v2/document