Rumur
- murphi2c(1) translate a Murphi model to C for simulation
- murphi2murphi(1) preprocessor for Murphi models
- murphi2uclid(1) translate a Murphi model to Uclid5
- murphi2xml(1) Print the abstract syntax tree of a parsed Murphi model
- rumur-run(1) Yet another explicit state model checker
- rumur(1) Yet another explicit state model checker