References
Alur R, Madhusudan P, Nam W (2005) Symbolic compositional verification by learning assumptions. In: Proceedings of CAV’05. Lecture notes in computer science, vol 3576. Springer, Berlin, pp 548–562
Chaki S, Strichman O (2007) Optimized L*-based assume-guarantee reasoning. In: Proceedings of TACAS’07. Lecture notes in computer science, vol 4424. Springer, Berlin, pp 276–291
Cobleigh JM, Giannakopoulou D, Păsăreanu CS (2003) Learning assumptions for compositional verification. In: Proceedings of TACAS’03. Lecture notes in computer science, vol 2619. Springer, Berlin, pp 331–346
Gupta A, McMillan KL, Fu Z (2007) Automated assumption generation for compositional verification. In: Proceedings of CAV’07. Lecture notes in computer science, vol 4590. Springer, Berlin, pp 420–432
Sharygina N, Chaki S, Clarke EM, Sinha N (2005) Dynamic component substitutability analysis. In: Proceedings of FM’05. Lecture notes in computer science, vol 3582. Springer, Berlin, pp 512–528
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Giannakopoulou, D., Păsăreanu, C.S. Special issue on learning techniques for compositional reasoning. Form Methods Syst Des 32, 173–174 (2008). https://doi.org/10.1007/s10703-008-0054-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10703-008-0054-9