Přístupnostní navigace
E-application
Search Search Close
Product detail
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