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 article in proceedingsScientificpeer-review

    30 Citations (Scopus)
    Original languageEnglish
    Title of host publicationVerification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005
    EditorsCousot Radhia
    Place of PublicationBerlin
    PublisherSpringer
    Pages380-395
    ISBN (Print)3-540-24297-X
    Publication statusPublished - 2005
    MoE publication typeA4 Conference publication

    Keywords

    • Bounded model checking
    • NuSMV
    • Past LTL

    Cite this