mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-04 06:15:24 +00:00
Code Issues Releases Activity
88d130f8e7
freebsd-ports/devel/smv/distinfo

2 lines
61 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
Reference in New Issue Copy Permalink