Learning to Divide and Conquer: Applying the L* Algorithm to Automate Assume-Guarantee Reasoning Corina S. P˘as˘areanu Perot Systems, NASA Ames Research Center, N269-230, Moffett Field, CA 94035, USA

First Page		Document Content
Date: 2009-04-10 14:18:17		Learning to Divide and Conquer: Applying the L* Algorithm to Automate Assume-Guarantee Reasoning Corina S. P˘as˘areanu Perot Systems, NASA Ames Research Center, N269-230, Moffett Field, CA 94035, USA Add to Reading List Source URL: sp09.pbworks.com Download Document from Source Website File Size: 305,15 KB Share Document on Facebook