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. WWW: http://www-2.cs.cmu.edu/~modelcheck/smv.html Marc E.E. van Woerkom marc.vanwoerkom@fernuni-hagen.de ink rel='vcs-git' href='https://phantom.tfcis.org/~lantw44/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/devel/p5-Data-Walk
Commit message (Expand)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-06