SMT solving

Cortex

Tool to discover latent concurrency bugs in Java multithreaded applications

Symbiosis

Tool to isolate concurrency bugs in Java and C/C++ multithreaded applications