Simple Bounded LTL Model Checking

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila

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

    Original languageEnglish
    Title of host publicationFormal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004
    EditorsAlan J. Hu, Andrew K. Martin
    Place of PublicationBerliini, Saksa
    Pages186-200
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Keywords

    • Bounded model checking,
    • LTL
    • NuSMV

    Cite this