Efficient Model Checking of Safety Properties

Reference:

Timo Latvala. Efficient model checking of safety properties. In T. Ball and S. Rajamani, editors, Model Checking Software. 10th International SPIN Workshop, pages 74–88. Springer, 2003.

Suggested BibTeX entry:

@inproceedings{Lat03a,
    author = {Timo Latvala},
    booktitle = {Model Checking Software. 10th International SPIN Workshop},
    editor = {T. Ball and S. Rajamani},
    pages = {74--88},
    publisher = {Springer},
    title = {Efficient Model Checking of Safety Properties},
    year = {2003},
}