1. A method of constructing an abstract discrete system suitable for formal analysis from a hybrid system, with respect to a property of interest, said method comprising the steps of: a) selecting a set of polynomials from the polynomials contained in the property of interest and the hybrid system; b) saturating the selected set of polynomials; c) constructing the abstract discrete system over a set of abstract states defined by the positive, negative and zero valuation of the saturated set of polynomials.