Contemplate

ThreadSafe is a static analysis product for finding concurrency defects in Java code.

Contemplate's software-development tools are leading-edge solutions for identifying errors in multi-threaded enterprise scale Java code. Contemplate's product, ThreadSafe, is used in global Investment Banks where it is tightly integrated with developer workflow tools. It was founded in 2009 by University of Edinburgh School of Informatics academics, Professor Don Sannella and Dr. David Aspinall.