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.