Detail produktu

A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

DUDKA, V. FIEDOR, J. VOJNAR, T. KŘENA, B.

Typ produktu

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.

Klíčová slova

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

Datum vzniku

15. 11. 2011

Umístění

http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc

Možnosti využití

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc