Automated Testing of Büchi Automata Translators for Linear Temporal Logic

H. Tauriainen

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2000
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHelsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports
    PublisherHelsinki University of Technology


    • algorithm testing
    • Büchi automata
    • linear temporal logic
    • model checking

    Cite this