diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2003-12-13 11:18:16 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2003-12-13 11:18:16 +0000 |
| commit | 56d4dbd2245f2c87ec7f48fc2179f2d1fc791193 (patch) | |
| tree | d322d387ea8435fd9a368363c627652333da81af /devel/smv | |
| parent | Add a patch to correct CPU states readout in (diff) | |
Fix a typo.
Notes
Notes:
svn path=/head/; revision=95717
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. |