Simple is Better: Efficient Bounded Model Checking for Past LTL

Reference:

Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple is better: Efficient bounded model checking for past LTL. In Radhia Cousot, editor, Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France, volume 3385 of Lecture Notes in Computer Science, pages 380–395. Springer, January 2005.

Keywords:

PLTL, Bounded Model Checking, NuSMV

Suggested BibTeX entry:

@inproceedings{LatBieHelJun:VMCAI05,
    author = {Timo Latvala and Armin Biere and Keijo Heljanko and Tommi Junttila},
    booktitle = {Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France},
    editor = {Radhia Cousot},
    month = {January},
    pages = {380--395},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Simple is Better: Efficient Bounded Model Checking for Past {LTL}},
    volume = {3385},
    year = {2005},
}

This work is not available online here.