Paket: rumur (2023.11.27-1)

[ Kaynak: 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.

rumur ile İlgili Diğer Paketler

• dep: libc6 (>= 2.34) [alpha, ia64, sh4 değil]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

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

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb

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

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

  GCC support library

  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]

  GCC support library

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

  GCC support library

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

  Multiprecision arithmetic library

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

  Multiprecision arithmetic library (C++ bindings)

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

  GNU Standard C++ Library v3

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

• sug: python3

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

rumur indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	910,1 kB	7.751,0 kB	[dosya listesi]
amd64	956,5 kB	6.737,0 kB	[dosya listesi]
arm64	863,1 kB	6.995,0 kB	[dosya listesi]
armel	791,6 kB	5.633,0 kB	[dosya listesi]
armhf	807,6 kB	4.693,0 kB	[dosya listesi]
hppa (resmi olmayan port)	902,5 kB	6.036,0 kB	[dosya listesi]
i386	975,7 kB	6.255,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	923,6 kB	10.493,0 kB	[dosya listesi]
m68k (resmi olmayan port)	903,5 kB	6.062,0 kB	[dosya listesi]
mips64el	853,3 kB	8.198,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	895,5 kB	8.592,0 kB	[dosya listesi]
ppc64el	916,1 kB	7.903,0 kB	[dosya listesi]
riscv64	1.535,4 kB	13.335,0 kB	[dosya listesi]
s390x	869,7 kB	6.968,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	957,0 kB	6.184,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	804,0 kB	8.352,0 kB	[dosya listesi]
x32 (resmi olmayan port)	954,5 kB	5.917,0 kB	[dosya listesi]