📦 rumur

8 pages

M

murphi-format(1)reformat Murphi models✨
murphi2c(1)translate a Murphi model to C for simulation✨
murphi2murphi(1)preprocessor for Murphi models✨
murphi2smv(1)translate a Murphi model to SMV✨
murphi2uclid(1)translate a Murphi model to Uclid5✨
murphi2xml(1)Print the abstract syntax tree of a parsed Murphi model✨

R

rumur(1)Yet another explicit state model checker✨
rumur-run(1)Yet another explicit state model checker✨