kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/devel/smv/distinfo
Pav Lucistnik 2ea5de4d68 Add The SMV (Symbolic Model Verifier), a tool for 
checking finite state systems against specifications
the temporal logic CTL (Computational Tree Logic).

PR:		ports/59429
Submitted by:	Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de>
2003-12-13 01:22:09 +00:00

1 line
61 B
Text
Raw Blame History

MD5 (smv.r2.5.4.3.tar.gz) = dd1a7ebcbac935845fc73eb8957386cb
Reference in a new issue View git blame Copy permalink