Výsledky vyhledávání - "program verification procedure"

Formal Proof of Soundness for an RL Prover

Autor: Arusoaie, Andrei, Nowak, David, Rusu, Vlad, Lucanu, Dorel

Publikováno v: [Technical Report] RR-0471, INRIA Lille-Nord Europe; Alexandru Ioan Cuza, University of Iasi. 2015, pp.27

Proving programs correct is one of the major challenges that computer scientists have been struggling with during the last decades.For this purpose, Reachability Logic (RL) was proposed as a language-parametric generalisation of Hoare Logic. Recently

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00a66b4470aec3593a7328c18611df14
https://inria.hal.science/hal-01244578

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání