DIVINE: Explicit-State LTL Model Checker

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00088093" target="_blank" >RIV/00216224:14330/16:00088093 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-662-49674-9_60" target="_blank" >http://dx.doi.org/10.1007/978-3-662-49674-9_60</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-49674-9_60" target="_blank" >10.1007/978-3-662-49674-9_60</a>

Jazyk výsledku
angličtina
Název v původním jazyce
DIVINE: Explicit-State LTL Model Checker
Popis výsledku v původním jazyce
DIVINE is an LLVM-based LTL model checker that follows the standard automata-based approach to explicit-state model checking. It aims at verification of unmodified parallel C & C++ programs without inputs. To achieve this DIVINE employs several reduction techniques combined with high-performance parallel and distributed computing.
Název v anglickém jazyce
DIVINE: Explicit-State LTL Model Checker
Popis výsledku anglicky
DIVINE is an LLVM-based LTL model checker that follows the standard automata-based approach to explicit-state model checking. It aims at verification of unmodified parallel C & C++ programs without inputs. To achieve this DIVINE employs several reduction techniques combined with high-performance parallel and distributed computing.

Projekt
<a href="/cs/project/GA15-08772S" target="_blank" >GA15-08772S: Analýza korektnosti vícevláknových programů v C a C++</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ISBN
9783662496732
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
3
Strana od-do
920-922
Název nakladatele
Springer-Verlag New York, Inc.
Místo vydání
New York, NY, USA
Místo konání akce
Eindhoven, The Netherlands
Datum konání akce
1. 1. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)