Now showing items 1-1 of 1

  • Generation of basic semi-algebraic invariants using convex polyhedra 

    Bagnara, Roberto; Rodríguez Carbonell, Enric; Zaffanella, Enea (2005-04)
    External research report
    Open Access
    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 ...