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

[pdf] 

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