Bhargav S. Gulavani, Sumit Gulwani. A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 370-384, Springer, 2008. [doi]
@inproceedings{GulavaniG08,
title = {A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis},
author = {Bhargav S. Gulavani and Sumit Gulwani},
year = {2008},
doi = {10.1007/978-3-540-70545-1_35},
url = {http://dx.doi.org/10.1007/978-3-540-70545-1_35},
tags = {domain analysis, analysis, abstraction},
researchr = {https://researchr.org/publication/GulavaniG08},
cites = {0},
citedby = {0},
pages = {370-384},
booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
editor = {Aarti Gupta and Sharad Malik},
volume = {5123},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70543-7},
}