A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 Abstract - ACL2 - Document - PDFSEARCH.IO

First Page	Meta Content
	A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 Abstract Add to Reading List Document Date: 2005-05-29 14:46:12 Open Document File Size: 154,32 KB Share Result on Facebook

A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 AbstractAdd to Reading List