Tarmo: A framework for Parallelized Bounded Model Checking

Siert Wieringa, Matti Niemenmaa, Keijo Heljanko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationThe 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09)
    EditorsLubos Brim, Jaco van der Pol
    Pages62-76
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication

    Cite this