Slide 1Copyright 2000 Cadence Design Systems. Permission is granted to reproduce without modification. Compositional methods Scaling up to large systems Slide 2 Copyright…
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…