Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic.
Miguel J. HornosManuel I. CapelPublished in: ACSD (2001)
Keyphrases
- cellular automata
- predicate calculus
- generation process
- modal logic
- linear time temporal logic
- logic programming
- classical logic
- regular expressions
- neural network
- multi valued
- predicate logic
- probabilistic automata
- interval data
- automata theoretic
- logical formulas
- proof theory
- tree automata
- finite automata
- finite state