devel/smv 2.5.4.3_11 DragonFly

Symbolic Model Verifier System for checking finite state systems

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
Categories: devel
Package size: 186.9 KiB, 741.8 KiB installed

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

DragonFly

devel/smv

2.5.4.3_11

FreeBSD

devel/smv

2.5.4.3_11

GhostBSD

devel/smv

2.5.4.3_11

Install

Binary package:

pkg install smv

From DPorts:

cd /usr/dports/devel/smv && make install clean

Dependencies

No port depends on this one.

Configuration

No options to configure.

Service scripts: none

Message after installing

===>   NOTICE:

The smv port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing