DSpace Repository

Browsing by Author "Rodríguez-Carbonell, Enric"

Browsing by Author "Rodríguez-Carbonell, Enric"

Sort by: Order: Results:

  • Borralleras Andreu, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert (04-10-2012)
    Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a ...
  • Bofill, Miquel; Borralleras Andreu, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert (Oxford University Press, 06-2012)
    In most termination tools two ingredients, namely recursive path orderings (RPOs) and polynomial interpretation orderings (POLOs), are used in a consecutive disjoint way to solve the final constraints generated from the ...

Search RIUVic