Product detail

Java Race Detector & Healer

LETKO, Z. VOJNAR, T. KŘENA, B.

Product type

software

Abstract

The Java Race Detector & Healer (http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/) is a prototype for a runtime detection and healing of low level data races in concurrent Java programs. The tool uses the IBM ConTest (http://www.haifa.il.ibm.com/projects/verification/contest/index.html) listeners architecture for tracking the program behaviour and analysing it.

Keywords

Data Races, Detector, Healer, Java

Create date

31. 5. 2007

Location

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

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

https://www.fit.vut.cz/research/product/49/