lbtt 1.0.0 - an LTL-to-Büchi translator testbench

Heikki Tauriainen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2001
    MoE publication typeI2 ICT software

    Keywords

    • Büchi automata
    • linear time temporal logic
    • software testing

    Cite this