全部搜索项
bullseye  ] [  bookworm  ] [  sid  ]
[ 源代码: rumur  ]

软件包:rumur(2022.08.20-1)

rumur 的相关链接

Screenshot

Debian 的资源:

下载源码包 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 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 rumur

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 943.8 kB6,618.0 kB [文件列表]
arm64 846.0 kB6,621.0 kB [文件列表]
armel 774.7 kB5,611.0 kB [文件列表]
armhf 791.3 kB4,708.0 kB [文件列表]
i386 965.5 kB6,250.0 kB [文件列表]
mips64el 847.9 kB8,267.0 kB [文件列表]
mipsel 828.6 kB6,987.0 kB [文件列表]
ppc64el 913.5 kB7,957.0 kB [文件列表]
s390x 827.0 kB6,777.0 kB [文件列表]