1. Special issue on learning techniques for compositional reasoning

   • Dimitra Giannakopoulou
   • Corina S. Păsăreanu

   Guest Editorial 09 May 2008 Pages: 173 - 174

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

   • Corina S. Păsăreanu
   • Dimitra Giannakopoulou
   • Howard Barringer

   OriginalPaper 25 January 2008 Pages: 175 - 205

3. Automatic symbolic compositional verification by learning assumptions

   • Wonhong Nam
   • P. Madhusudan
   • Rajeev Alur

   OriginalPaper 17 May 2008 Pages: 207 - 234

4. Verification of evolving software via component substitutability analysis

   • Sagar Chaki
   • Edmund Clarke
   • Nishant Sinha

   OriginalPaper 02 May 2008 Pages: 235 - 266

5. Three optimizations for Assume–Guarantee reasoning with L^*

   • Sagar Chaki
   • Ofer Strichman

   OriginalPaper 05 December 2007 Pages: 267 - 284

6. Automated assumption generation for compositional verification

   • Anubhav Gupta
   • K. L. McMillan
   • Zhaohui Fu

   OriginalPaper 08 March 2008 Pages: 285 - 301