Automatic Generation of Invariants in Processor Verification

“Automatic Generation of Invariants in Processor Verification” by Jeffrey X. Su, David L. Dill, and Clark W. Barrett. In Proceedings of the 1^st International Conference on Formal Methods In Computer-Aided Design (FMCAD '96), (Mandayam Srivas and Albert Camilleri, eds.), Nov. 1996, pp. 377-388. Palo Alto, California.

BibTeX entry:

@inproceedings{SDB96,
   author = {Jeffrey X. Su and David L. Dill and Clark W. Barrett},
   editor = {Mandayam Srivas and Albert Camilleri},
   title = {Automatic Generation of Invariants in Processor Verification},
   booktitle = {Proceedings of the {\it 1^{st}} International Conference
	on Formal Methods In Computer-Aided Design (FMCAD '96)},
   series = {Lecture Notes in Computer Science},
   volume = {1166},
   pages = {377--388},
   publisher = {Springer-Verlag},
   month = nov,
   year = {1996},
   note = {Palo Alto, California},
   url = {http://theory.stanford.edu/~barrett/pubs/SDB96.pdf}
}

(This webpage was created with bibtex2web.)