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

www