Extending Testing Automata to All LTL.

Ala-Eddine Ben Salem

Published in: FORTE (2015)

Keyphrases

finite state automata
finite state machines
model checking
probabilistic automata
temporal logic
deterministic automata
linear temporal logic
neural network
data mining
knowledge base
multi agent
test cases
finite state
finite automata