Back-End Logic Verification