• Generation of basic semi-algebraic invariants using convex polyhedra 

    Bagnara, Roberto; Rodríguez Carbonell, Enric; Zaffanella, Enea (2005-04)
    Report de recerca
    Accés obert
    A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi-algebraic sets, i.e., sets defined ...