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

[pdf]  [ps] 

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",
}