Refinement preserving approximations for the design and verification of heterogeneous systems

Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli. Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods in System Design, 31(1):1-33, 2007. [doi]

Abstract

Abstract is missing.