Tarmo: A framework for Parallelized Bounded Model Checking

Reference:

Siert Wieringa, Matti Niemenmaa, and Keijo Heljanko. Tarmo: A framework for parallelized bounded model checking. In Lubos Brim and Jaco van der Pol, editors, Proceedings of the 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09), volume 14 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 62–76, 2009.

Suggested BibTeX entry:

@inproceedings{WieNiemHelPDMC09,
    author = {Siert Wieringa and Matti Niemenmaa and Keijo Heljanko},
    booktitle = {Proceedings of the 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09)},
    editor = {Lubos Brim and Jaco van der Pol},
    language = {eng},
    pages = {62-76},
    series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
    title = {Tarmo: A framework for Parallelized Bounded Model Checking},
    volume = {14},
    year = {2009},
}