Product detail

A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

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

Product type

software

Abstract

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.

Keywords

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

Create date

15. 11. 2011

Location

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

Possibilities of use

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

Licence fee

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

www