BSD Portsdevel/smv 2.5.4.3_11 FreeBSD
Symbolic Model Verifier System for checking finite state systems
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Categories
- devel
Description
The SMV (Symbolic Model Verifier) system is a tool for checking finite state systems against specifications in the temporal logic CTL (Computational Tree Logic).
One specifies the finite state system (finite automaton, Mealy machine, full adder circuit, ..) as a Kripke structure in the SMV language and provides specifications in CTL. The model checking algorithm allows to determine if the Kripke structure fulfills the specifications.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | devel/smv | 2.5.4.3_11 |
| DragonFly | devel/smv | 2.5.4.3_11 |
Install
Binary package:
pkg install smvFrom the ports tree:
cd /usr/ports/devel/smv/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= smv>0:devel/smvPackages
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 | - | 2.5.4.3_11 | - | - | 2.5.4.3_11 |
| FreeBSD:14:quarterly | - | 2.5.4.3_11 | n/a | - | 2.5.4.3_11 |
| FreeBSD:15:latest | - | 2.5.4.3_11 | n/a | - | 2.5.4.3_11 |
| FreeBSD:15:quarterly | - | 2.5.4.3_11 | n/a | n/a | n/a |
| FreeBSD:16:latest | - | 2.5.4.3_11 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Build dependencies 8
Run dependencies 8
No port depends on this one.
Configuration
Options name: devel_smv
| Option | Default | Description |
|---|---|---|
| DOCS | off | Build and/or install documentation |
| EXAMPLES | off | Build and/or install examples |
- USES
- sbrk
- Service scripts
- none
Files
Manual pages 1
- smv(1)
pkg-plist 3
- bin/smv
- share/smv/smv-mode.el
- share/man/man1/smv.1.gz
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| smv.r2.5.4.3.tar.gz | 214640 | d590cbf02bed6cb25135267be245cd537ba1f030a4934cbb13ba437c3fae4af8 |
Master sites 1
- http://www.cs.cmu.edu/~modelcheck/smv/
Commit history 0
No commits in the history this site was built from.