rumur(1) on Linux
The text c76a317c701f, as Debian 11 (Bullseye) shipped it.
Yet another explicit state model checker
Flags it lists
-
--bound -
--debug -
--help -
--max-errors -
--monopolise -
--output -
--quiet -
--set-capacity -
--set-expand-threshold -
--smt-arg -
--smt-budget -
--smt-logic -
--smt-path -
--smt-prelude -
--threads -
--trace -
--value-type -
--verbose -
--version -
-d -
-e -
-o -
-q -
-s -
-t -
-v