ThreadSafe: Static Analysis for Java Concurrency
–> Electronic Communications of the EASST, Vol. 72, 2015
Detecting Deadlocks without Drudgery
Contemplate ThreadSafe Introduces Deadlock Detection
–> InfoQ, June 26, 2014
–> Japanese translation Contemplate ThreadSafeがデッドロック検出機能を導入, July 6, 2014
How to Buy Static Analysis Tools
–> eSecurity Planet, May 2, 2014
Why Software Testing Can’t Save You From IT Disasters
Discover and Diagnose Java Concurrency Problems Using Contemplate’s ThreadSafe
–> InfoQ, January 14, 2014
–> Chinese translation 使用Contemplate ThreadSafe发现并判断Java并发问题, March 24, 2014
Company Profile: Contemplate, Enabling Technologies, Edinburgh
–> Herald Scotland, January 14, 2014
Contemplate Delivers ThreadSafe Java Concurrency Static Analysis Tool
ThreadSafe Concurrency Static Analysis Tool Announces First Public Release
–> InfoQ, August 28, 2013
–> Chinese translation 线程安全并发静态分析工具发布首个公开beta版本, October 8, 2013