kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
99027 commits 42 branches 80 tags 2.7 GiB
Commit graph

1 commit

Author SHA1 Message Date
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