Title: Automatic Verification Methods for Finite State Systems