Modular Verification of Code with SAT Greg Dennis ▪ Software Design Group ▪ MIT joint work with Felix Chang and Daniel Jackson ISSTA 2006 ▪ July 18, 2006 Software Components - Daniel Jackson - Document - PDFSEARCH.IO

First Page	Meta Content
	Modular Verification of Code with SAT Greg Dennis ▪ Software Design Group ▪ MIT joint work with Felix Chang and Daniel Jackson ISSTA 2006 ▪ July 18, 2006 Software Components Add to Reading List Document Date: 2014-05-07 00:01:27 Open Document File Size: 185,37 KB Share Result on Facebook

Modular Verification of Code with SAT Greg Dennis ▪ Software Design Group ▪ MIT joint work with Felix Chang and Daniel Jackson ISSTA 2006 ▪ July 18, 2006 Software ComponentsAdd to Reading List