Detail produktu

Java Race Detector & Healer

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

Typ produktu

software

Abstrakt

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.

Klíčová slova

Data Races, Detector, Healer, Java

Datum vzniku

31. 5. 2007

Umístění

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

Možnosti využití

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

Licenční poplatek

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

www

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