tutorial Directory Reference

Files

file  op_ex_bisim.cpp [code]
 Tutorial, computation of the coarsest quasi-congruence.
 
file  op_ex_mc.cpp [code]
 Tutorial to demonstarte the verification of mutual controllability.
 
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.
 

libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen