NAME

       rumur - Yet another explicit state model checker

SYNOPSIS

       rumur-run options...

DESCRIPTION

       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.

SEE ALSO

       rumur(1)

                                                                                                    RUMUR-RUN(1)