Package: rumur (2020.12.20-1)

[ Source: rumur  ]

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

• dep: libc6 (>= 2.15) [amd64, mips64el, s390x]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.28) [armel, armhf, i386, mipsel]

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, i386, mipsel]

  GCC support library

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [i386, mipsel]

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg)

  Multiprecision arithmetic library (C++ bindings)

• dep: libstdc++6 (>= 5.2) [armel, armhf]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 9) [not armel, armhf]

• sug: python3 (>= 3.6)

  interactive high-level object-oriented language (default python3 version)

Download rumur

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	839.4 kB	5,870.0 kB	[list of files]
arm64	760.3 kB	5,775.0 kB	[list of files]
armel	703.2 kB	4,802.0 kB	[list of files]
armhf	711.6 kB	4,038.0 kB	[list of files]
i386	855.9 kB	5,495.0 kB	[list of files]
mips64el	763.9 kB	7,259.0 kB	[list of files]
mipsel	751.4 kB	6,070.0 kB	[list of files]
ppc64el	825.1 kB	7,017.0 kB	[list of files]
s390x	738.0 kB	5,983.0 kB	[list of files]