Zobrazeno 1 - 10
of 172
pro vyhledávání: '"invariant generation"'
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.
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:
Trifonov, Trifon
Publikováno v:
Computer Science and Education in Computer Science. 10(1):73-92
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=455237
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.
Kniha
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.
Kniha
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:
Beyer, Dirk, Dangl, Matthias
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
Property-directed reachability (PDR) is a SAT/SMT-based reachability algorithm that incrementally constructs inductive invariants. After it was successfully applied to hardware model checking, several adaptations to software model checking have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::b6323a1b89fe805419eefef5386e1eb6
http://europepmc.org/articles/PMC7439737
http://europepmc.org/articles/PMC7439737
Autor:
Haltermann, Jan, Wehrheim, Heike
Software verification has recently made enormous progress. To keep their tools up to date with novel methods and enhanced techniques, tool developers integrate these within their own framework almost exclusively by re-implementation. While this allow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90a52a893a9b8218f4d0563b725aba96
