The P programming language.
Coyote is a library and tool for testing concurrent C# code and determin...
Concuerror is a stateless model checking tool for Erlang programs.