Testing LTL Formula Translation into Büchi Automata

Heikki Tauriainen, Keijo Heljanko

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
Issue number1
Pages (from-to)57-70
Publication statusPublished - 2002
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • model checking
  • software testing
  • temporal logic
  • verification

Cite this