Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail aplikovaného výsledku
DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.
Originální název
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking
Anglický název
Druh
Software
Abstrakt
DA-BMC is a tool chain that allows one to combine dynamic analysis and bounded model checking for finding synchronisation errors in concurrent Java programs.
Abstrakt aglicky
Klíčová slova
dynamic analysis, bounded model checking, search strategy, Java, verification
Klíčová slova anglicky
Umístění
http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc
Licenční poplatek
K využití výsledku jiným subjektem je vždy nutné nabytí licence
www