Пакет: rumur (2025.08.31-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: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
- dep: libc6 (>= 2.38) [не alpha, ia64, loong64, sh4]
- dep: libc6 (>= 2.41) [loong64]
-
- dep: libc6.1 (>= 2.37) [ia64]
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6.1-udeb
- dep: libc6.1 (>= 2.38) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, 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]
- библиотека для выявления цепочки вызовов функций в программе
-
- dep: python3 [не ia64, sh4]
- интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)
Загрузка rumur
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| alpha (неофициальный перенос) | 2025.08.31-1 | 911,1 Кб | 7 790,0 Кб | [список файлов] |
| amd64 | 2025.08.31-1 | 1 072,2 Кб | 7 612,0 Кб | [список файлов] |
| arm64 | 2025.08.31-1 | 845,2 Кб | 6 831,0 Кб | [список файлов] |
| armel | 2025.08.31-1 | 758,3 Кб | 5 730,0 Кб | [список файлов] |
| armhf | 2025.08.31-1 | 779,5 Кб | 4 565,0 Кб | [список файлов] |
| hppa (неофициальный перенос) | 2025.08.31-1 | 873,0 Кб | 5 832,0 Кб | [список файлов] |
| i386 | 2025.08.31-1 | 1 011,0 Кб | 6 383,0 Кб | [список файлов] |
| ia64 (неофициальный перенос) | 2023.11.27-1 | 923,6 Кб | 10 493,0 Кб | [список файлов] |
| loong64 (неофициальный перенос) | 2025.08.31-1 | 1 789,5 Кб | 18 478,0 Кб | [список файлов] |
| m68k (неофициальный перенос) | 2025.08.31-1 | 894,7 Кб | 5 880,0 Кб | [список файлов] |
| mips64el | 2025.08.31-1 | 883,9 Кб | 8 839,0 Кб | [список файлов] |
| ppc64 (неофициальный перенос) | 2025.08.31-1 | 903,2 Кб | 8 998,0 Кб | [список файлов] |
| ppc64el | 2025.08.31-1 | 908,9 Кб | 8 044,0 Кб | [список файлов] |
| riscv64 | 2025.08.31-1 | 1 536,0 Кб | 13 317,0 Кб | [список файлов] |
| s390x | 2025.08.31-1 | 867,3 Кб | 6 954,0 Кб | [список файлов] |
| sh4 (неофициальный перенос) | 2023.11.27-1 | 957,0 Кб | 6 184,0 Кб | [список файлов] |
| sparc64 (неофициальный перенос) | 2025.08.31-1 | 753,6 Кб | 10 490,0 Кб | [список файлов] |
| x32 (неофициальный перенос) | 2025.08.31-1 | 979,3 Кб | 5 954,0 Кб | [список файлов] |