Review State-Space Verification (Controllability)

[lennonchaves]

• check parses, computations, magic numbers, comments and implementations
• check the algorithms to verify the violation
• run regression tests