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},
}
|