Testing LTL formula translation into Büchi automata.

Heikki Tauriainen Keijo Heljanko

Published in: Int. J. Softw. Tools Technol. Transf. (2002)

Keyphrases

linear temporal logic
deterministic automata
temporal logic
automata theoretic
finite automata
model checking
cellular automata
machine translation
cross language information retrieval
query translation
test set
test cases
finite state
machine translation system