Decision Procedures Customized for Formal Verification
Randal E. Bryant and Sanjit A. Seshia. Decision Procedures Customized for Formal Verification. In 20th International Conference on Automated Deduction (CADE), pp. 255–259, Lecture Notes in Computer Science 3632, Springer, July 2005.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{bryant-cade05, author = {Randal E. Bryant and Sanjit A. Seshia}, title = {Decision Procedures Customized for Formal Verification}, booktitle = {20th International Conference on Automated Deduction (CADE)}, year = {2005}, month = {July}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3632}, pages = {255--259}, }