| Port details on branch 2026Q2 |
- smv Symbolic Model Verifier System for checking finite state systems
- 2.5.4.3_11 devel
 =0      2.5.4.3_11Version of this port present on the latest quarterly branch. - There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2026-06-13 20:27:33
- Last Update: 2026-06-13 20:24:59
- Commit Hash: 50f63e2
- License: not specified in port
- WWW:
- https://www.cs.cmu.edu/~modelcheck/smv.html
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
-
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/smv/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/smv
- pkg install smv
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: smv
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (smv.r2.5.4.3.tar.gz) = d590cbf02bed6cb25135267be245cd537ba1f030a4934cbb13ba437c3fae4af8
SIZE (smv.r2.5.4.3.tar.gz) = 214640
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gcc14 : lang/gcc14
- as : devel/binutils
- Runtime dependencies:
-
- gcc14 : lang/gcc14
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for smv-2.5.4.3_11:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
- Options name:
- devel_smv
- USES:
- sbrk
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.5.4.3_11
13 Jun 2026 20:24:59
 |
Robert Clausecker (fuz) |
devel/smv: builds fine on armv7
MFH: 2026Q2
(cherry picked from commit 25f7c062b26ce5065825b50bf673de76d79c51f3) |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.