diff options
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 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. |