Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Concurrency Sleuth

Concurrency Sleuth is a property checker for concurrent programs. It uses efficient, language-independent techniques to search the set of behaviors of a program for bugs. Currently, it supports only programs written in the C programming language.


File NameConcurrencySleuth.msi
Date Published28 August 2012
Download Size8.44 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.