A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.

Bhargav S. Gulavani, Sumit Gulwani

Browse the full CAV paper archive.