Paquet : rumur (2026.03.11-1 et autres)

[ Paquet 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.

Autres paquets associés à rumur

• dep: libc6 (>= 2.37) [sh4]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

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

  dep: libc6 (>= 2.42) [loong64]

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

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, ppc64, ppc64el, x32]

  bibliothèque de prise en charge de GCC

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

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

  dep: libgcc-s1 (>= 4.2) [alpha, i386, ia64, s390x, sparc64]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Bibliothèque arithmétique à multi-précision

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

  bibliothèque arithmétique multiprécision - points d'entrée C++

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

  bibliothèque standard C++ de GNU v3

• dep: libunwind8 [ia64]

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

• dep: python3 [non ia64, sh4]

  langage orienté objet interactif de haut niveau – version par défaut de Python 3

• sug: python3 [ia64, sh4]

  langage orienté objet interactif de haut niveau – version par défaut de Python 3

• sug: z3 [non ia64, sh4]

  justificateur de théorème de Microsoft Research

Télécharger rumur

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	2025.08.31-1+b1	905,8 ko	7 691,0 ko	[liste des fichiers]
amd64	2026.03.11-1	976,4 ko	6 773,0 ko	[liste des fichiers]
arm64	2026.03.11-1	844,4 ko	6 907,0 ko	[liste des fichiers]
armhf	2026.03.11-1	773,4 ko	4 576,0 ko	[liste des fichiers]
hppa (portage non officiel)	2025.08.31-1+b1	869,6 ko	5 751,0 ko	[liste des fichiers]
i386	2026.03.11-1	1 016,7 ko	6 370,0 ko	[liste des fichiers]
ia64 (portage non officiel)	2023.11.27-1	923,6 ko	10 493,0 ko	[liste des fichiers]
loong64	2026.03.11-1	1 869,0 ko	19 164,0 ko	[liste des fichiers]
m68k (portage non officiel)	2026.03.11-1	709,4 ko	5 252,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2026.03.11-1	890,9 ko	8 796,0 ko	[liste des fichiers]
ppc64el	2026.03.11-1	903,7 ko	8 041,0 ko	[liste des fichiers]
riscv64	2025.08.31-1+b1	1 868,7 ko	18 805,0 ko	[liste des fichiers]
s390x	2026.03.11-1	855,4 ko	6 871,0 ko	[liste des fichiers]
sh4 (portage non officiel)	2023.11.27-1	957,0 ko	6 184,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	2026.03.11-1	744,0 ko	10 482,0 ko	[liste des fichiers]
x32 (portage non officiel)	2026.03.11-1	972,4 ko	5 902,0 ko	[liste des fichiers]