The client-specific equivalence checking problem is that of determining whether a component update affects the overall system; the CLEVER (CLient EquiValence checkER) project aims to address this problem using a variety of (semi-)automated techniques.

Publications

ASE '18
Client-Specific Equivalence Checking
F. Mora, Y. Li, J. Rubin, and M. Chechik

Examples

Live
Slides

People