kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/devel/smv/distinfo

3 lines
97 B
Text
Raw Normal View History

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 02:22:09 +01:00
MD5 (smv.r2.5.4.3.tar.gz) = dd1a7ebcbac935845fc73eb8957386cb
SIZEify (maintainer timeout)
2004-03-31 05:12:58 +02:00
SIZE (smv.r2.5.4.3.tar.gz) = 214640
Reference in a new issue Copy permalink