Simple bounded LTL model checking

Reference:

Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple bounded LTL model checking. In Alan Hu and Andy Martin, editors, Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA, volume 3312 of Lecture Notes in Computer Science, pages 186–200. Springer, November 2004.

Keywords:

LTL, Bounded Model Checking, NuSMV

Suggested BibTeX entry:

@inproceedings{LatvalaBiereHeljankoJunttila:FMCAD2004,
    author = {Timo Latvala and Armin Biere and Keijo Heljanko and Tommi Junttila},
    booktitle = {Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA},
    editor = {Alan Hu and Andy Martin},
    month = {November},
    pages = {186--200},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Simple bounded {LTL} model checking},
    volume = {3312},
    year = {2004},
}