1. A computerized system comprising: a processor; an interface for receiving a phase abstracted model; an interface for receiving an original liveness property associated with the original model; and a property modifier for transforming the original liveness property to a phase abstracted liveness property.