mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
Code Issues Releases Activity
b4453618f7
freebsd-ports/devel/smv/distinfo

3 lines
97 B
Plaintext
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 01:22:09 +00:00
MD5 (smv.r2.5.4.3.tar.gz) = dd1a7ebcbac935845fc73eb8957386cb
SIZEify (maintainer timeout)
2004-03-31 03:12:58 +00:00
SIZE (smv.r2.5.4.3.tar.gz) = 214640
Reference in New Issue Copy Permalink