Parallel Program Verification Using BMC

Reference:

Toni Jussila and Ilkka Niemelä. Parallel program verification using BMC. In Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence, pages 59–66, Lyon, France, July 2002.

Suggested BibTeX entry:

@inproceedings{JN2002:mochart,
    address = {Lyon, France},
    author = {Toni Jussila and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence},
    month = {July},
    pages = {59--66},
    title = {Parallel Program Verification Using {BMC}},
    year = {2002},
}

See www.tcs.hut.fi ...