パッケージ: rumur (2020.12.20-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.15) [amd64, mips64el, s390x]

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.28) [armel, armhf, i386, mipsel]

• dep: libgcc-s1 (>= 3.0) [armel, armhf, i386, mipsel 以外]

  GCC 共有ライブラリ

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

  dep: libgcc-s1 (>= 4.2) [i386, mipsel]

• dep: libgmp10

  多倍長精度演算ライブラリ

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

  多倍長精度演算ライブラリ (C++ バインディング)

• dep: libstdc++6 (>= 5.2) [armel, armhf]

  GNU 標準 C++ ライブラリ v3

  dep: libstdc++6 (>= 9) [armel, armhf 以外]

• sug: python3 (>= 3.6)

  対話式の高レベルオブジェクト指向言語 (デフォルト python3 バージョン)

rumur のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	839.4 kB	5,870.0 kB	[ファイル一覧]
arm64	760.3 kB	5,775.0 kB	[ファイル一覧]
armel	703.2 kB	4,802.0 kB	[ファイル一覧]
armhf	711.6 kB	4,038.0 kB	[ファイル一覧]
i386	855.9 kB	5,495.0 kB	[ファイル一覧]
mips64el	763.9 kB	7,259.0 kB	[ファイル一覧]
mipsel	751.4 kB	6,070.0 kB	[ファイル一覧]
ppc64el	825.1 kB	7,017.0 kB	[ファイル一覧]
s390x	738.0 kB	5,983.0 kB	[ファイル一覧]