Welcome to the Concutest Community Project. This is an effort to allow community volunteers to identify the concurrency invariants that exist in the Java API. Anyone can participate. It’s free, all you need to do is register1.
The research staff of the Concutest project will periodically evaluate the posts on this blog and add new invariants to our publicly available database. All tools are (or will eventually be) open-source and free for anyone to use.