diff options
author | Doug Barton <dougb@FreeBSD.org> | 2009-12-21 02:19:12 +0000 |
---|---|---|
committer | Doug Barton <dougb@FreeBSD.org> | 2009-12-21 02:19:12 +0000 |
commit | 2fadfa2cfb0cb2e9c2855a3d2d02fc277a7147f1 (patch) | |
tree | 0b2048faa0d5e773f1f4774e5b3d48f654e40e88 /devel/smv/pkg-descr | |
parent | 9edbb794ddcdb7a59f953f0784f8def772f5eceb (diff) | |
download | ports-2fadfa2cfb0cb2e9c2855a3d2d02fc277a7147f1.tar.gz ports-2fadfa2cfb0cb2e9c2855a3d2d02fc277a7147f1.zip |
Notes
Diffstat (limited to 'devel/smv/pkg-descr')
-rw-r--r-- | devel/smv/pkg-descr | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/devel/smv/pkg-descr b/devel/smv/pkg-descr index 38b375d3ca9f..9c10a9bcc26a 100644 --- a/devel/smv/pkg-descr +++ b/devel/smv/pkg-descr @@ -9,6 +9,3 @@ in CTL. The model checking algorithm allows to determine if the Kripke structure fulfills the specifications. WWW: http://www.cs.cmu.edu/~modelcheck/smv.html - -Marc E.E. van Woerkom -marc.vanwoerkom@fernuni-hagen.de |