This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.

SOG-Based Multi-Core LTL Model Checking

C++ implementation of the Factor Oracle structure

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction