| RUMUR-RUN(1) | General Commands Manual | RUMUR-RUN(1) |
rumur - Yet another explicit state model checker
rumur-run options...
As a convenient way to run rumur, the wrapper rumur-run is provided. It runs rumur with the given options, compiles the generated verifier and then runs it. See rumur(1) for available options.