diff options
Diffstat (limited to 'math/ltl2ba')
| -rw-r--r-- | math/ltl2ba/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/ltl2ba/pkg-descr b/math/ltl2ba/pkg-descr index 68a2cfafde00..55982fb67807 100644 --- a/math/ltl2ba/pkg-descr +++ b/math/ltl2ba/pkg-descr @@ -5,7 +5,7 @@ transforms it into a Buechi automaton, using a generalized Buechi automaton as an intermediate step. Each automaton is simplified on-the-fly in order to save memory and time. As usual the LTL formula is simplified before any treatment. ltl2ba is more efficient than -Spin 3.4.1, with regard to the the size of the resulting automaton, +Spin 3.4.1, with regard to the size of the resulting automaton, the time of the computation, and the memory used. WWW: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ |