Finite Systems Expressed with Formulas

02-02-Live2, CS-550 Formal Verification