DIVINE is a general-purpose model checker. See <a href=\"http://divine.fi.muni.cz\">http://divine.fi.muni.cz</a> for more details about the project. (c) 2008-2013 ParaDiSe Laboratory