Пакет: rumur (2023.11.27-1)

[ Источник: 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

• dep: libc6 (>= 2.34) [не alpha, ia64, sh4]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

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

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

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

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

  вспомогательная библиотека 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]

  вспомогательная библиотека GCC

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

  вспомогательная библиотека GCC

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

  библиотека для работы с числами произвольной точности

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

  Multiprecision arithmetic library (C++ bindings)

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

  стандартная библиотека GNU C++ версии 3

• dep: libunwind8 [ia64]

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

• sug: python3

  интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)

Загрузка rumur

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	910,1 Кб	7 751,0 Кб	[список файлов]
amd64	956,5 Кб	6 737,0 Кб	[список файлов]
arm64	863,1 Кб	6 995,0 Кб	[список файлов]
armel	791,6 Кб	5 633,0 Кб	[список файлов]
armhf	807,6 Кб	4 693,0 Кб	[список файлов]
hppa (неофициальный перенос)	902,5 Кб	6 036,0 Кб	[список файлов]
i386	975,7 Кб	6 255,0 Кб	[список файлов]
ia64 (неофициальный перенос)	923,6 Кб	10 493,0 Кб	[список файлов]
m68k (неофициальный перенос)	903,5 Кб	6 062,0 Кб	[список файлов]
mips64el	853,3 Кб	8 198,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	895,5 Кб	8 592,0 Кб	[список файлов]
ppc64el	916,1 Кб	7 903,0 Кб	[список файлов]
riscv64	1 535,4 Кб	13 335,0 Кб	[список файлов]
s390x	869,7 Кб	6 968,0 Кб	[список файлов]
sh4 (неофициальный перенос)	957,0 Кб	6 184,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	804,0 Кб	8 352,0 Кб	[список файлов]
x32 (неофициальный перенос)	954,5 Кб	5 917,0 Кб	[список файлов]