On Model Checking Safety Properties

Reference:

Timo Latvala. On model checking safety properties. Technical Report A76, Helsinki University of Technology, December 2002.

Suggested BibTeX entry:

@techreport{Lat02,
    author = {Timo Latvala},
    institution = {Helsinki University of Technology},
    month = {December},
    number = {A76},
    title = {On Model Checking Safety Properties},
    year = {2002},
}