Automatic Verification Methods for Finite State Systems