Pakiet: rumur (2025.08.31-1 i inne)

Odnośniki dla rumur

Zasoby systemu Debian:

Pobieranie pakietu źródłowego rumur:

Opiekun:

Matthew Fernandez (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.37) [sh4]

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

dep: libc6 (>= 2.38) [nie alpha, ia64, loong64, sh4]

dep: libc6 (>= 2.41) [loong64]
dep: libc6.1 (>= 2.37) [ia64]

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

dep: libc6.1 (>= 2.38) [alpha]
dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, mips64el, ppc64, ppc64el, s390x, x32]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sh4, sparc64]

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

dep: libgcc-s1 (>= 4.2) [i386, ia64]
dep: libgcc-s2 (>= 4.2.1) [m68k]

Biblioteka wspomagająca GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

Biblioteka wspomagająca GCC
dep: libgmp10 (>= 2:6.3.0+dfsg)

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library (C++ bindings)
dep: libstdc++6 (>= 13.1)

Standardowa biblioteka GNU C++, wersja 3
dep: libunwind8 [ia64]

Biblioteka do ustalania łańcucha wywołań programu - środowisko uruchomieniowe
dep: python3 [nie ia64, sh4]

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

sug: python3 [ia64, sh4]

Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)
sug: z3 [nie ia64, sh4]

Narzędzie do udowadniania twierdzeń firmy Microsoft Research

Pobieranie rumur

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	2025.08.31-1	911,1 KiB	7 790,0 KiB	[lista plików]
amd64	2025.08.31-1	1 072,2 KiB	7 612,0 KiB	[lista plików]
arm64	2025.08.31-1	845,2 KiB	6 831,0 KiB	[lista plików]
armel	2025.08.31-1	758,3 KiB	5 730,0 KiB	[lista plików]
armhf	2025.08.31-1	779,5 KiB	4 565,0 KiB	[lista plików]
hppa (port nieoficjalny)	2025.08.31-1	873,0 KiB	5 832,0 KiB	[lista plików]
i386	2025.08.31-1	1 011,0 KiB	6 383,0 KiB	[lista plików]
ia64 (port nieoficjalny)	2023.11.27-1	923,6 KiB	10 493,0 KiB	[lista plików]
loong64 (port nieoficjalny)	2025.08.31-1	1 789,5 KiB	18 478,0 KiB	[lista plików]
m68k (port nieoficjalny)	2025.08.31-1	894,7 KiB	5 880,0 KiB	[lista plików]
mips64el	2025.08.31-1	883,9 KiB	8 839,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	2025.08.31-1	903,2 KiB	8 998,0 KiB	[lista plików]
ppc64el	2025.08.31-1	908,9 KiB	8 044,0 KiB	[lista plików]
riscv64	2025.08.31-1	1 536,0 KiB	13 317,0 KiB	[lista plików]
s390x	2025.08.31-1	867,3 KiB	6 954,0 KiB	[lista plików]
sh4 (port nieoficjalny)	2023.11.27-1	957,0 KiB	6 184,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	2025.08.31-1	753,6 KiB	10 490,0 KiB	[lista plików]
x32 (port nieoficjalny)	2025.08.31-1	979,3 KiB	5 954,0 KiB	[lista plików]