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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Corina S. Pasareanu' in GoogleThis author has not been identified. Look up 'Dimitra Giannakopoulou' in GoogleThis author has not been identified. Look up 'Mihaela Gheorghiu Bobaru' in GoogleThis author has not been identified. Look up 'Jamieson M. Cobleigh' in GoogleThis author has not been identified. Look up 'Howard Barringer' in Google

runs on WebDSL