@inbook {IOPORT.05571130,
    author       = {Ben-Ari, Mordechai},
    title        = {Tool presentation: Teaching concurrency and model checking.},
    year         = {2009},
    booktitle    = {Model checking software. 16th international SPIN workshop, Grenoble, France, June 26--28, 2009. Proceedings},
    isbn         = {978-3-642-02651-5},
    pages        = {6-11},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-02652-2_5},
    abstract     = {Summary: This paper describes software tools for teaching concurrency and model checking. jSpin is an development environment for Spin that formats and filters the output of a simulation according to the user's specification. SpinSpider uses debugging output from Spin to generate a diagram of the state space of a Promela model; the diagram can be incrementally displayed using iDot. VN supports teaching nondeterministic finite automata. The Erigone model checker is a partial reimplementation of Spin designed to be easy to use, well structured and well documented. It produces a full trace of the execution of the model checker in a format that is both readable and amenable to postprocessing.},
    identifier   = {05571130},
}