The CIVL Software System
about
Concurrency Intermediate Verification Language
website vsl.cis.udel.edu/civl/index.html
source code ...
licence MIT
Sword
about
The Sword Race Checker
website github.com/PRUNERS/sword
source code github.com/PRUNERS/sword
licence LLNL
Archer: Data race detector for OpenMP programs
about
Archer combines static and dynamic techniques to identify data races in large OpenMP applications.
website github.com/PRUNERS/archer
source code github.com/PRUNERS/archer
licence Apache 2.0
romp a random walking parallel model checker
about
a random walking parallel model checker for the murphi model checking langauge, bassed off of rumur’s langauge parsing library and optimised for fast datat race free multithreaded random walking
website github.com/civiv-fv/romp
source code github.com/civiv-fv/romp
licence The Unlisence