/openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications

Primary LanguagePythonOtherNOASSERTION

No issues in this repository yet.