173 | -- | 174 | Dimitra Giannakopoulou, Corina S. Pasareanu. Special issue on learning techniques for compositional reasoning |
175 | -- | 205 | 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 |
207 | -- | 234 | Wonhong Nam, P. Madhusudan, Rajeev Alur. Automatic symbolic compositional verification by learning assumptions |
235 | -- | 266 | Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha. Verification of evolving software via component substitutability analysis |
267 | -- | 284 | Sagar Chaki, Ofer Strichman. Three optimizations for Assume-Guarantee reasoning with L:::*::: |
285 | -- | 301 | Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu. Automated assumption generation for compositional verification |