Distributed MAP in the SpinJa model checker

S.J.J. Vijzelaar, K. Verstoep, W.J. Fokkink, H.E. Bal

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

    Abstract

    Spin in Java (SpinJa) is an explicit state model checker for the Promela modelling language also used by the SPIN model checker. Designed to be extensible and reusable, the implementation of SpinJa follows a layered approach in which each new layer extends the functionality of the previous one. While SpinJa has preliminary support for shared-memory model checking, it did not yet support distributed-memory model checking. This tool paper presents a distributed implementation of a maximal accepting predecessors (MAP) search algorithm on top of SpinJa.
    Original languageEnglish
    Title of host publicationProceedings of 10th Workshop on Parallel and Distributed Methods in Verification (PDMC'11). 14 July 2011, Snowbird, Utah
    EditorsJ. Barnat, K. Heljanko
    Pages84-90
    DOIs
    Publication statusPublished - 2011

    Fingerprint Dive into the research topics of 'Distributed MAP in the SpinJa model checker'. Together they form a unique fingerprint.

  • Cite this

    Vijzelaar, S. J. J., Verstoep, K., Fokkink, W. J., & Bal, H. E. (2011). Distributed MAP in the SpinJa model checker. In J. Barnat, & K. Heljanko (Eds.), Proceedings of 10th Workshop on Parallel and Distributed Methods in Verification (PDMC'11). 14 July 2011, Snowbird, Utah (pp. 84-90) https://doi.org/10.4204/EPTCS.72