Pakiet: rumur (2022.08.20-1)

[ Pakiet źródłowy: 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.

Inne pakiety związane z rumur

• dep: libc6 (>= 2.34)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

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

  Biblioteka wspomagająca GCC

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

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

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

  Biblioteka działań arytmetycznych z dużą dokładnością

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

  Multiprecision arithmetic library (C++ bindings)

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

  Standardowa biblioteka GNU C++, wersja 3

• sug: python3

  Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)

Pobieranie rumur

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	943,8 KiB	6 618,0 KiB	[lista plików]
arm64	846,0 KiB	6 621,0 KiB	[lista plików]
armel	774,7 KiB	5 611,0 KiB	[lista plików]
armhf	791,3 KiB	4 708,0 KiB	[lista plików]
i386	965,5 KiB	6 250,0 KiB	[lista plików]
mips64el	847,9 KiB	8 267,0 KiB	[lista plików]
mipsel	828,6 KiB	6 987,0 KiB	[lista plików]
ppc64el	913,5 KiB	7 957,0 KiB	[lista plików]
s390x	827,0 KiB	6 777,0 KiB	[lista plików]