tutorial Directory Reference


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.


Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4