Пакет: rumur (2024.05.07-1 и други)
Връзки за rumur
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник rumur.
Отговорник:
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
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.37) [sh4]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
- dep: libc6 (>= 2.38) [не alpha, ia64, sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от 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
Изтегляне на rumur
Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|---|
alpha (неофициална архитектура) | 2024.05.07-1 | 919,3 кБ | 7 748,0 кБ | [списък на файловете] |
amd64 | 2024.05.07-1 | 956,8 кБ | 6 746,0 кБ | [списък на файловете] |
arm64 | 2024.05.07-1 | 863,0 кБ | 6 992,0 кБ | [списък на файловете] |
armel | 2024.05.07-1 | 792,2 кБ | 5 644,0 кБ | [списък на файловете] |
armhf | 2024.05.07-1 | 809,5 кБ | 4 709,0 кБ | [списък на файловете] |
hppa (неофициална архитектура) | 2024.05.07-1 | 905,8 кБ | 6 058,0 кБ | [списък на файловете] |
i386 | 2024.05.07-1 | 975,1 кБ | 6 272,0 кБ | [списък на файловете] |
ia64 (неофициална архитектура) | 2023.11.27-1 | 923,6 кБ | 10 493,0 кБ | [списък на файловете] |
m68k (неофициална архитектура) | 2024.05.07-1 | 903,3 кБ | 6 061,0 кБ | [списък на файловете] |
mips64el | 2024.05.07-1 | 854,1 кБ | 8 197,0 кБ | [списък на файловете] |
ppc64 (неофициална архитектура) | 2024.05.07-1 | 897,2 кБ | 8 595,0 кБ | [списък на файловете] |
ppc64el | 2024.05.07-1 | 917,4 кБ | 7 967,0 кБ | [списък на файловете] |
riscv64 | 2024.05.07-1 | 1 535,1 кБ | 13 371,0 кБ | [списък на файловете] |
s390x | 2024.05.07-1 | 871,8 кБ | 6 977,0 кБ | [списък на файловете] |
sh4 (неофициална архитектура) | 2023.11.27-1 | 957,0 кБ | 6 184,0 кБ | [списък на файловете] |
sparc64 (неофициална архитектура) | 2024.05.07-1 | 806,2 кБ | 8 350,0 кБ | [списък на файловете] |
x32 (неофициална архитектура) | 2024.05.07-1 | 953,6 кБ | 5 932,0 кБ | [списък на файловете] |