A Scalable Decision Procedure for Fixed-Width Bit-Vectors | Formal Verification and Security Lab

Publication Type:

Conference Paper

Authors:

Bruttomesso, R.; Sharygina, N.

Source:

International Conference of Computer Aided Design (ICCAD), ACM, San Jose (CA) (2009)

BibTex

@inproceedings { BS09,
	title = {A Scalable Decision Procedure for Fixed-Width Bit-Vectors},
	booktitle = {International Conference of Computer Aided Design (ICCAD)},
	year = {2009},
	publisher = {ACM},
	organization = {ACM},
	address = {San Jose (CA)},
	author = {Roberto Bruttomesso and  Natasha Sharygina}
}

Attachment	Size
iccad09.pdf	242.41 KB