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 ...