Parallel Model Checking using the Symbolic Observation Graph
Open Source
Open-source tool written in C++. Licensed under the GPL-3.
Robust Libraries
It relies on robust libraries MPI, Pthreads, C++ native directives
Publications
Implemented algorithms are supported by scientific publications.