A Randomized Testbench for Algorithms Translating Linear Temporal Logic Formulae into Büchi Automata

H. Tauriainen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationConcurrency, Specification and Programming (CS&P'99), Warsaw, Poland, 28.-30.9.1999
    EditorsH-D. Burkhard, L. Czaja, H-S. Nguyen, P. Starke
    Place of PublicationWarsaw, Poland
    Pages251-262
    Publication statusPublished - 1999
    MoE publication typeA4 Article in a conference publication

    Keywords

    • algorithm testing
    • büchi automata
    • linear temporal logic

    Cite this