Convergence Testing in Term-Level Bounded Model Checking
Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. Convergence Testing in Term-Level Bounded Model Checking. In Correct Hardware Design and Verification Methods (CHARME), pp. 348–362, Lecture Notes in Computer Science 2860, Springer-Verlag, October 2003.
Download
Abstract
(unavailable)
BibTeX
@InProceedings{bryant-charme03, author = "Randal E. Bryant and Shuvendu K. Lahiri and Sanjit A. Seshia", title = "Convergence Testing in Term-Level Bounded Model Checking", booktitle = "{Correct Hardware Design and Verification Methods (CHARME)}", month = "October", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = "2860", pages = "348--362", year = "2003", }