Slide 1Exploiting SAT solvers in unbounded model checking K. L. McMillan Cadence Berkeley Labs Slide 2 Copyright 2002 Cadence Design Systems. Permission is granted to reproduce…
