Ubuntu
rumur package

rumur 2025.02.02-1 source package in Ubuntu

Changelog

rumur (2025.02.02-1) unstable; urgency=medium

  * New upstream release.
  * Add python3-pytest as a build dependency.
  * Add a Lintian override for a descriptive file installed outside doc.
  * python3 moved from Suggests to Depends.

 -- Matthew Fernandez <email address hidden>  Sun, 02 Feb 2025 06:44:25 +1100

Upload details

Uploaded by:
Matthew Fernandez
Uploaded to:
Sid
Original maintainer:
Matthew Fernandez
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Resolute release universe misc
Questing release universe misc
Plucky release universe misc

Downloads

File Size SHA-256 Checksum
rumur_2025.02.02-1.dsc 2.0 KiB 7526eb654a001e1ba66f98cd9044b95fe9609f1c52c9fba054d9d2994016de04
rumur_2025.02.02.orig.tar.gz 344.8 KiB ed113a0cb7f02d05ac9aa0a008e1ab83f221f264b08249871323984a632e9636
rumur_2025.02.02-1.debian.tar.xz 6.3 KiB 1f4e330928933995f90e337f493c6d4eb1ed78d631faf3b82f722d7c1184620e

Available diffs

No changes file available.

Binary packages built by this source

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-dbgsym: debug symbols for rumur