Such a feature is desirable as the commonly used abstraction-based methods are sound but not complete for systems that are not incrementally stable. Fundamental to the proposed method is a fixed-point ...