Incremental and Complete Bounded Model Checking for Full PLTL

Keijo Heljanko, Tommi Junttila, TImo Latvala

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

    51 Citations (Scopus)
    Original languageEnglish
    Title of host publicationComputer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005
    EditorsKousha Etessami, Sriram K. Rajamani
    Pages98-111
    Publication statusPublished - 2005
    MoE publication typeA4 Article in a conference publication

    Keywords

    • bounded model checking
    • incremental satisfiability checking
    • linear time temporal logic
    • model checking
    • propositional satisfiability
    • verification

    Cite this