Simple is Better: Efficient Bounded Model Checking for Past LTL (2005)
AUTHORS:
Latvala Timo
,
Biere Armin,
Heljanko Keijo
,
Junttila Tommi
BOOKTITLE:
Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France
SERIES:
Lecture Notes in Computer Science
VOLUME:
3385
PAGES:
380--395
@inproceedings{ LatvalaBiereHeljankoJunttila:VMCAI2005, editor = "Cousot, Radia", author = "Latvala, Timo and Biere, Armin and Heljanko, Keijo and Junttila, Tommi", publisher = "Springer", title = "Simple is Better: Efficient Bounded Model Checking for Past {LTL}", series = "Lecture Notes in Computer Science", booktitle = "Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France", month = "January", volume = "3385", flags = "copy,SA-53695", year = "2005", keywords = "Bounded Model Checking, Past {LTL}, {NuSMV}", pages = "380--395" }