Java Race Detector & Healer

Typ

software

Jazyk

anglicky

Autoři

Letko Zdeněk, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Křena Bohuslav, Ing., Ph.D., UITS (FIT)

Popis

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

Umístění

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

Licence

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

Licenční podmínky

Licenční podmínky pro užití nástroje jsou dosupné na URL nástroje: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

Projekty

Metody a nástroje pro automatizované odhalování softwarových chyb, GAČR, Postdoktorandské granty, GP102/06/P076, zahájení: 2006-01-01, ukončení: 2008-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení

Výzkumné skupiny

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Pracoviště

Ústav inteligentních systémů (UITS)