Testing LTL Formula Translation into Büchi Automata

Heikki Tauriainen, Keijo Heljanko

    Research output: Contribution to journalArticleScientificpeer-review

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

    Keywords

    • model checking
    • software testing
    • temporal logic
    • verification

    Cite this