Race Detector & Healer for Java

Is able to detect and heal data races and atomicity violations.



By downloading software from this page you agree with the license conditions.


Brno University of Technology Open Source License
Copyright (c) 2007-2009, Brno University of Technology
All rights reserved.

Related Publications


This work is partially supported by the European Community under the Information Society Technologies (IST) programme of the 6th FP for RTD - project SHADOWS, contract IST-035157. The authors are solely responsible for the content of this work. It does not represent the opinion of the European Community, and the European Community is not responsible for any use that might be made of data appearing therein. This work is partially supported by the Czech Ministry of Education, Youth, and Sport under the project Security-Oriented Research in Information Technology, contract CEZ MSM 0021630528, and by the Czech Grant Agency within project Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, contract 102/07/0322, and project Methods and Tools for Automated Bug Detection in Software, contract 102/04/0780.