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.
Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.