DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

Základní údaje

Originální název DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
Název česky DiVinE 3.0 -- Explicitně-stavový nástroj pro ověřování modelu pro vícevláknové C a C++ programy
Autoři

Další údaje

Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova model checking; LLVM; C++; C; LTL; timed automata

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info