Automatic Verification Methods for Finite State Systems | lit.salon