Detail aplikovaného výsledku

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

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

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

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

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.

Klíčová slova

dynamic analysis, bounded model checking, search strategy, Java, verification

Klíčová slova anglicky

dynamic analysis, bounded model checking, search strategy, Java, verification

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