Simulation Relations

04-01, CS-550 Formal Verification