diff options
| author | Renato Botelho <garga@FreeBSD.org> | 2005-11-30 11:30:11 +0000 |
|---|---|---|
| committer | Renato Botelho <garga@FreeBSD.org> | 2005-11-30 11:30:11 +0000 |
| commit | 3db2b38cff5e9bf1d6b4454ec5ebc21598e9abf0 (patch) | |
| tree | 5146e0e2bacd12a41895776bde050e2fa0850344 /devel/smv/pkg-descr | |
| parent | 7013bbaf06b6b2111da9ac2e46bc1a0a2065496a (diff) | |
Notes
Diffstat (limited to 'devel/smv/pkg-descr')
| -rw-r--r-- | devel/smv/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/smv/pkg-descr b/devel/smv/pkg-descr index 3dda4dbc6a5a..38b375d3ca9f 100644 --- a/devel/smv/pkg-descr +++ b/devel/smv/pkg-descr @@ -8,7 +8,7 @@ structure in the SMV language and provides specifications in CTL. The model checking algorithm allows to determine if the Kripke structure fulfills the specifications. -WWW: http://www-2.cs.cmu.edu/~modelcheck/smv.html +WWW: http://www.cs.cmu.edu/~modelcheck/smv.html Marc E.E. van Woerkom marc.vanwoerkom@fernuni-hagen.de |