Experimental Evaluation of Numerical Domains for Inferring Ranges. - Gianluca Amato; Marco Rubino (NSAD@SAS, 2017)

Inferring linear invariants with parallelotopes. - Gianluca Amato; Marco Rubino; Francesca Scozzari (Sci. Comput. Program., 2017)