Files | |
file | op_ex_bisim.cpp [code] |
Tutorial, computation of the coarsest quasi-congruence. | |
file | op_ex_mc.cpp [code] |
This tutorial demonstrates methods for verifying the mutual controllability condition of two given automata. | |
file | op_ex_synthesis.cpp [code] |
Tutorial, synthesis of natural projections with certain properties. | |
file | op_ex_verification.cpp [code] |
Tutorial, verification of properties of natural projections. |