Skip to main content
Log in

Special issue on learning techniques for compositional reasoning

  • Guest Editorial
  • Published:
Formal Methods in System Design Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. 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

    Google Scholar 

  2. 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

    Google Scholar 

  3. 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

    Google Scholar 

  4. 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

    Google Scholar 

  5. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Corina S. Păsăreanu.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10703-008-0054-9

Navigation