math/rumur 2025.01.05 DragonFly

Model checker, a formal verification tool for state machines

Homepage
Browse the port
Other distributions
Search similar

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
License: PD
Categories: math
Package size: 487.8 KiB, 2142.7 KiB installed

Description

Rumur is a model checker, a formal verification tool for proving safety and security properties of systems represented as state machines. It is based on a previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur takes the same input format as CMurphi, the Murphi modelling language, with some extensions and generates a C program that implements a verifier.

In the other systems

System

Port

Version

DragonFly

math/rumur

2025.01.05

FreeBSD

math/rumur

2026.09.13

Install

Binary package:

pkg install rumur

From DPorts:

cd /usr/dports/math/rumur && make install clean

Dependencies

Run dependencies 1

math/gmp

No port depends on this one.