rumur-run(1)

Yet another explicit state model checker

Section 1 rumur bookworm source

Description

RUMUR-RUN

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.