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. Formal Methods in System Design, 32(3):175-205, 2008. [doi]
@article{PasareanuGBCB08, title = {Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning}, author = {Corina S. Pasareanu and Dimitra Giannakopoulou and Mihaela Gheorghiu Bobaru and Jamieson M. Cobleigh and Howard Barringer}, year = {2008}, doi = {10.1007/s10703-008-0049-6}, url = {http://dx.doi.org/10.1007/s10703-008-0049-6}, researchr = {https://researchr.org/publication/PasareanuGBCB08}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {32}, number = {3}, pages = {175-205}, }