Bounded Model Checking for Weak Alternating Buchi Automata

Keijo Heljanko, Tommi Junttila, Misa Keinänen, Martin Lange, Timo Latvala

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

    23 Citations (Scopus)
    Original languageEnglish
    Title of host publicationComputer Aided Verification 2006, Seattle, WA, USA, 17.-20.8.2006
    EditorsThomas Ball, Robert B. Jones
    Pages95-108
    Publication statusPublished - 2006
    MoE publication typeA4 Article in a conference publication

    Publication series

    Name
    PublisherSpringer
    ISSN (Print)0302-9743

    Keywords

    • Bounded Model Checking
    • NuSMV
    • PSL
    • Weak Alternating Buchi Automata

    Cite this