Syed, The current implementation does not use argument values. There is an experimental...
Syed, We did some work on generation of FSM from the Java source code based on symbolic...
Syed, The main repository has now moved to Github, https://github.com/kirilluk/statechum...
Moved all the work-in-progress branches to a se...
Merged with the ASE branch, corrected K-tails c...
Minor improvements from the end of May 2015. St...
Share project "XMachineTool_FASE" into "svn+ssh...
Started writing label refinement routines that ...