rumur

model checker for the Murphi language

Not tested on a device yet. What that means

Commands in the package

rumur
murphi-format
murphi2c
murphi2murphi
murphi2smv
murphi2uclid
murphi2xml
rumur-run

About rumur

From Debian's package description

Rumur is a model checker for use in the formal verification of finite state machines specified in the Murphi modelling language. It is based on a previous tool, CMurphi, and attempts to provide an approximate drop-in replacement for CMurphi.
Rumur works by reading an input file describing a collection of state variables and transition rules, from which it generates a C program to verify safety and security properties of this state machine. The generated verifier works by exhaustively exploring the state space, checking for violation of invariants or deadlocks.
In comparison to CMurphi, Rumur generates a verifier that runs significantly faster and uses less memory on large input problems. Rumur comes with an optional wrapper script, rumur-run, that streamlines the process of generating a verifier, compiling it, and then running it. This wrapper requires Python.

From Debian's description of the rumur package, under that package's license.

Dependencies

Depends on

python3
libc6
libgcc-s1
libgmp10
libgmpxx4ldbl
libstdc++6

Related apps

clang-tidyclang-based C++ linter toolCommand line
cmake-formatsource code formatter for cmake listfilesCommand line
erlang-common-testErlang/OTP application for automated testingCommand line
gdb-avrGNU Debugger for avrCommand line
dh-nodejsdebhelper addon to build Node.js modulesCommand line
swiftlanggeneral-purpose compiled programming languageCommand line

All Linux development tools

Sources and licenses

Name: the Debian package name.
Summary: Debian's short description of the rumur package, under that package's license.
Description: Debian's description of the rumur package, under that package's license.
Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
Popularity: Debian Popularity Contest counts.