math/rumur 2026.09.13
Model checker, a formal verification tool for state machines
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
983114dc90- License
- PD
- Categories
- math
- Package size
- 505.8 KiB, 2172.4 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.
Install
As a binary package — by origin, or by package name:
pkg install math/rumur
pkg install rumurFrom the ports tree:
cd /usr/ports/math/rumur/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= rumur>0:math/rumur
LIB_DEPENDS= librumur.so:math/rumurPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 2026.09.13 | 2026.09.13 | 2022.08.20 | 2025.01.05 | 2026.09.13 |
| FreeBSD:14:quarterly | 2026.09.13 | 2026.09.13 | n/a | 2025.01.05 | 2026.09.13 |
| FreeBSD:15:latest | 2026.09.13 | 2026.09.13 | n/a | 2025.01.05 | 2025.01.05 |
| FreeBSD:15:quarterly | 2026.09.13 | 2026.09.13 | n/a | n/a | n/a |
| FreeBSD:16:latest | 2026.09.13 | 2026.09.13 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 1
libgmpxx.so: math/gmp
The full lists below include those, and their dependencies in turn.
All build dependencies 19
All run dependencies 2
No port depends on this one.
Configuration
No options to configure.
- USES
- bison cmake compiler:c++11-lang python:build shebangfix
- Service scripts
- none
Files
Manual pages 8
- murphi-format(1)
- murphi2c(1)
- murphi2murphi(1)
- murphi2smv(1)
- murphi2uclid(1)
- murphi2xml(1)
- rumur(1)
- rumur-run(1)
pkg-plist 63
- bin/murphi-format
- bin/murphi2c
- bin/murphi2murphi
- bin/murphi2smv
- bin/murphi2uclid
- bin/murphi2xml
- bin/rumur
- bin/rumur-run
- include/rumur/Boolean.h
- include/rumur/Comment.h
- include/rumur/Decl.h
- include/rumur/Expr.h
- include/rumur/Function.h
- include/rumur/Model.h
- include/rumur/Node.h
- include/rumur/Number.h
- include/rumur/Property.h
- include/rumur/Ptr.h
- include/rumur/Rule.h
- include/rumur/Stmt.h
- include/rumur/Symtab.h
- include/rumur/TypeExpr.h
- include/rumur/except.h
- include/rumur/indexer.h
- include/rumur/location.hh
- include/rumur/parse.h
- include/rumur/parser.yy.hh
- include/rumur/position.hh
- include/rumur/resolve-symbols.h
- include/rumur/rumur.h
- include/rumur/sanitise_rule_names.h
- include/rumur/scanner.h
- include/rumur/stack.hh
- include/rumur/traverse.h
- include/rumur/validate.h
- include/rumur/version.h
- lib/cmake/rumur/librumurConfig-.cmake
- lib/cmake/rumur/librumurConfig.cmake
- lib/cmake/rumur/rumurConfig.cmake
- lib/librumur.so
- share/man/man1/murphi-format.1.gz
- share/man/man1/murphi2c.1.gz
- share/man/man1/murphi2murphi.1.gz
- share/man/man1/murphi2smv.1.gz
- share/man/man1/murphi2uclid.1.gz
- share/man/man1/murphi2xml.1.gz
- share/man/man1/rumur-run.1.gz
- share/man/man1/rumur.1.gz
- share/rumur/lib/README.rst
- share/rumur/lib/_list
- share/rumur/lib/_set
- share/rumur/lib/v2025.01.04/list
- share/rumur/lib/v2025.01.05/list
- share/rumur/lib/v2025.02.02/_list
- share/rumur/lib/v2025.02.02/_set
- share/rumur/lib/v2025.08.31/_list
- share/rumur/lib/v2025.08.31/_set
- share/rumur/lib/v2026.03.11/_list
- share/rumur/lib/v2026.03.11/_set
- share/rumur/lib/v2026.08.30/_list
- share/rumur/lib/v2026.08.30/_set
- share/rumur/lib/v2026.09.13/_list
- share/rumur/lib/v2026.09.13/_set
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| Smattr-rumur-v2026.09.13_GH0.tar.gz | 378555 | f5cd322cae6af1473ce31ece08ff15e028f37f25da15973d88b87a3c77b995cd |