Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Botella, Bernard"'
Applying deductive verification to formally prove that a program respects its formal specification is a very complex and time-consuming task due in particular to the lack of feedback in case of proof failures. Along with a non-compliance between the
Externí odkaz:
http://arxiv.org/abs/1508.01691
Publikováno v:
In Information and Software Technology February 2015 58:403-418
Publikováno v:
In The Journal of Systems & Software 2009 82(11):1755-1766
This document is the deliverable D4.2 of ENSURESEC, which is the mid-term report of the ENSURESEC’s Task T4.2 “Modeling and Verification Tools”. It introducesthe main tool, namely Frama-C, on which this task is based, presents the first task re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c54c234379365a3d6bf5f0bcae971c88
Publikováno v:
In Information and Software Technology 2007 49(9):1030-1044
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.
Publikováno v:
Tests & Proofs (9783319411347); 2016, p130-150, 21p
Publikováno v:
[Research Report] RR-5150, INRIA. 2004
Symbolic execution is a program testing technique which evaluates statements with symbolic input data along a selected path of the control flow graph. The process involves the computation of path conditions that tend to be simplified or solved in ord
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4e12fec28ca7dcf97becf457c4ec7699
https://hal.inria.fr/inria-00071433/file/RR-5150.pdf
https://hal.inria.fr/inria-00071433/file/RR-5150.pdf
Publikováno v:
Clefs CEA (English). nov2019, Issue 69, p23-23. 1p.
Publikováno v:
2014 IEEE 14th International Working Conference on Source Code Analysis & Manipulation; 2014, p105-114, 10p