fsm/TODO

   1 TODO LIST
   2
   3 * Add self consistency checks
   4 * Add locking for synchronization issues
   5 * Test case with threads
   6 * Add suupport for equivalence testing and minimization
   7 ( http://www.cag.lcs.mit.edu/6.004/Lectures/lect6/sld013.htm )