Login / Signup
Distinguishing extended finite state machine configurations using predicate abstraction.
Khaled El-Fakih
Nina Yevtushenko
Marius Bozga
Saddek Bensalem
Published in:
J. Softw. Eng. Res. Dev. (2016)
Keyphrases
</>
finite state machines
model checking
finite state automata
state machine
high level
state transition
cellular automaton
digital circuits
data abstraction
hidden markov models
domain knowledge
co occurrence
regular expressions