Verification of State Systems