State Chart Formal Verification