Parallel Model Checking using the Symbolic Observation Graph

Open Source

Open-source tool written in C++.
Licensed under the GPL-3.

Go to the Repository

Robust Libraries

It relies on robust libraries
MPI, Pthreads, C++ native directives

See Dependencies


Implemented algorithms are supported
by scientific publications.

See Publications
Fork me from LIPN