1. A method for verifying a property of a design of a system, the method comprising: performing bounded model checking on a design description for the system to a depth of K steps, the design description including a plurality of constraints referring to states of components within the system; providing access to a proof generated during the bounded model checking; deriving from the proof, if no counterexample of depth K is found in performing the bounded model checking, an over-approximation of the set of states reachable after one or more steps; and determining whether the over-approximation is at a fixed point.