Simple is Better: Efficient Bounded Model Checking for Past LTL

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila

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

    28 Citations (Scopus)
    Original languageEnglish
    Title of host publicationVerification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005
    EditorsCousot Radhia
    Place of PublicationBerlin
    Pages380-395
    Publication statusPublished - 2005
    MoE publication typeA4 Article in a conference publication

    Keywords

    • Bounded model checking
    • NuSMV
    • Past LTL

    Cite this