Slide 11 Compositional Methods and Symbolic Model Checking Ken McMillan Cadence Berkeley Labs Slide 2 2 Compositional methods l Reduce large verification problems to small…