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