TCS / Research / Publications / Tarmo: A framework for Parallelized Bounded Model Checking
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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},
    pages = {62--76},
    series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
    title = {Tarmo: A framework for Parallelized Bounded Model Checking},
    volume = {14},
    year = {2009},
}

See dx.doi.org ...

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