Journal: Formal Methods in System Design

Volume 32, Issue 3

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

Volume 32, Issue 2

85 -- 128Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig. A congruence relation for sPBC
129 -- 172Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar. Verification of parametric concurrent systems with prioritised FIFO resource management

Volume 32, Issue 1

1 -- 0Rajeev Alur, George J. Pappas. Introduction
3 -- 23Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen. Optimal infinite scheduling for multi-priced timed automata
25 -- 55Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. Constructing invariants for hybrid systems
57 -- 83Ashish Tiwari. Abstractions for hybrid systems