Page: 1 13 KFXA, KGAN EEO PUBLIC FILE REPORT October 1, [removed]September 30, 2014 - KFXA - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-10-01 14:45:24 Iowa KGAN KFXA Cedar Rapids Iowa Email Cedar Falls Iowa Waterloo Iowa CBS 2 Television in the United States Sinclair Broadcast Group Waterloo – Cedar Falls metropolitan area		Page: 1/13 KFXA, KGAN EEO PUBLIC FILE REPORT October 1, [removed]September 30, 2014 Add to Reading List Source URL: www.cbs2iowa.com Download Document from Source Website File Size: 111,28 KB Share Document on Facebook

	A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 DocID: 1xVcw - View Document
	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) DocID: 1xV9n - View Document
	Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada DocID: 1xUCz - View Document
	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) DocID: 1xU0k - View Document
	Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM) DocID: 1xTMV - View Document