Interpolation: Theory and Applications
people.eecs.berkeley.edu › Interpolationdownloaded and used in thousands of applications, and have integrated novel tricks and ideas which hav e become the basis of countless other solvers. Model checking algorithms are widely used for verifying hardware and software models. CRL has pioneered numerous fundamental ideas and algorithms to this field, including "interpolation" as a