BMC via on-the-fly Determinization

Toni Jussila, Keijo Heljanko, Ilkka Niemelä

    Research output: Contribution to journalArticleScientificpeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)561-577
    Number of pages17
    JournalELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
    Volume89
    Issue number4
    DOIs
    Publication statusPublished - 2003
    MoE publication typeA1 Journal article-refereed

    Keywords

    • bounded model checking
    • verification

    Cite this