Paket: rumur (2022.08.20-1)

[ Källkod: 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.

Andra paket besläktade med rumur

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

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

  GCC stödbibliotek

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

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

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Multiprecision arithmetic library

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

  Multiprecision arithmetic library (C++ bindings)

• dep: libstdc++6 (>= 11)

  GNU standardbibliotek v3 för C++

• sug: python3

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

Hämta rumur

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	943,8 kbyte	6.618,0 kbyte	[filförteckning]
arm64	846,0 kbyte	6.621,0 kbyte	[filförteckning]
armel	774,7 kbyte	5.611,0 kbyte	[filförteckning]
armhf	791,3 kbyte	4.708,0 kbyte	[filförteckning]
i386	965,5 kbyte	6.250,0 kbyte	[filförteckning]
mips64el	847,9 kbyte	8.267,0 kbyte	[filförteckning]
mipsel	828,6 kbyte	6.987,0 kbyte	[filförteckning]
ppc64el	913,5 kbyte	7.957,0 kbyte	[filförteckning]
s390x	827,0 kbyte	6.777,0 kbyte	[filförteckning]