Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
View
| DOI