Detail produktu
Java Race Detector & Healer
LETKO, Z. VOJNAR, T. KŘENA, B.
Typ produktu
software
Abstrakt
The Java Race Detector & Healer is a prototype for a runtime detection and healing of low level data races in concurrent Java programs. The tool uses the IBM ConTest 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