Applied result detail

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

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

Original Title

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

English Title

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

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.

Abstract in English

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

Key words in English

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

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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