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. Verifying quantitative properties using bound functions. In: Proceedings of the 13 IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods. Vol 3725. Springer Nature; 2005:50-64. doi:10.1007/11560548_7
View
| DOI