diff options
| author | olgeni <olgeni@FreeBSD.org> | 2003-12-13 19:18:16 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2003-12-13 19:18:16 +0800 |
| commit | d9c0a765d205829f4b8a4f452637d2fe3b75a194 (patch) | |
| tree | b7e8fc3660fc9e10e97b628c5dae782b9fd404d0 /devel/smv | |
| parent | 2a4a01fffa3859a0a84ce68426cf69f0e075b6b2 (diff) | |
| download | freebsd-ports-gnome-d9c0a765d205829f4b8a4f452637d2fe3b75a194.tar.gz freebsd-ports-gnome-d9c0a765d205829f4b8a4f452637d2fe3b75a194.tar.zst freebsd-ports-gnome-d9c0a765d205829f4b8a4f452637d2fe3b75a194.zip | |
Fix a typo.
Diffstat (limited to 'devel/smv')
| -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 42f263fe9525..3dda4dbc6a5a 100644 --- a/devel/smv/pkg-descr +++ b/devel/smv/pkg-descr @@ -4,7 +4,7 @@ in the temporal logic CTL (Computational Tree Logic). One specifies the finite state system (finite automaton, Mealy machine, full adder circuit, ..) as a Kripke -structure in the SMV language and provides specificaations +structure in the SMV language and provides specifications in CTL. The model checking algorithm allows to determine if the Kripke structure fulfills the specifications. |