Simple Bounded LTL Model Checking

Reference:

Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple bounded LTL model checking. Research Report A92, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, July 2004.

Suggested BibTeX entry:

@techreport{HUT-TCS-A92,
    address = {Espoo, Finland},
    author = {Timo Latvala and Armin Biere and Keijo Heljanko and Tommi Junttila},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {July},
    number = {A92},
    pages = {16},
    title = {Simple Bounded {LTL} Model Checking},
    type = {Research Report},
    year = {2004},
}