all options
bullseye  ] [  sid  ]
[ Source: rumur  ]

Package: rumur (2020.09.06-1)

Links for rumur

Screenshot

Debian Resources:

Download Source Package rumur:

Maintainer:

External Resources:

Similar packages:

model checker for the Murphi language

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.

Other Packages Related to rumur

  • depends
  • recommends
  • suggests
  • enhances

Download rumur

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 874.8 kB7,297.0 kB [list of files]
amd64 826.7 kB5,809.0 kB [list of files]
arm64 745.7 kB5,709.0 kB [list of files]
armel 690.1 kB4,750.0 kB [list of files]
armhf 700.4 kB3,996.0 kB [list of files]
hppa (unofficial port) 813.3 kB5,435.0 kB [list of files]
i386 841.2 kB5,428.0 kB [list of files]
m68k (unofficial port) 789.3 kB5,223.0 kB [list of files]
mips64el 755.8 kB7,184.0 kB [list of files]
mipsel 737.3 kB6,002.0 kB [list of files]
ppc64 (unofficial port) 799.2 kB7,490.0 kB [list of files]
ppc64el 813.2 kB6,930.0 kB [list of files]
riscv64 (unofficial port) 1,401.7 kB12,878.0 kB [list of files]
s390x 724.8 kB5,918.0 kB [list of files]
sh4 (unofficial port) 844.2 kB5,189.0 kB [list of files]
sparc64 (unofficial port) 714.2 kB5,999.0 kB [list of files]
x32 (unofficial port) 821.7 kB5,035.0 kB [list of files]