TCS / Research / Publications / Parallel Program Verification Using BMC
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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{ttj: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},
}

PostScript (135 kB)
GZipped PostScript (52 kB)

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.