Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic.

Miguel J. Hornos Manuel I. Capel

Published 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