Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.

Corina S. Pasareanu Dimitra Giannakopoulou Mihaela Gheorghiu Bobaru Jamieson M. Cobleigh Howard Barringer Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. 175-205 2008 32 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-008-0049-6 db/journals/fmsd/fmsd32.html#PasareanuGBCB08