About Concutest
Introduction
ConcJUnit
Thread Checker
Schedule-Based Execution

Using Concutest
Download
How to Run
License

Resources
Documentation
FAQ
Publications

Give Feedback
Features, Bugs, Support
Contact Us

Developers
SourceForge Project
Developer Docs
Javadocs
Developer Blog
Mathias Ricken's Homepage

The processor and runtime tools in the tcrt.jar file are used to rewrite the class files so they transparently check the invariants expressed using the annotations, run programs modified in such a way, and analyze their results.

Concutest is partially funded by the National Science Foundation and the Texas Advanced Technology Program. Copyright © 2004-2010 by Mathias Ricken. All rights reserved.