Special issue on learning techniques for compositional reasoning

Formal Methods in System Design

Volumn 32, Issue 3, 2008, Pages 173-174

  Păsăreanu, Corina S ^a   Giannakopoulou, Dimitra ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CASE BASED REASONING; COMPUTER SOFTWARE; OPTIMIZATION; SYSTEMS ANALYSIS; VERIFICATION;

COMPOSITIONAL REASONING; COMPOSITIONAL VERIFICATION; LEARNING FRAMEWORKS;

LEARNING SYSTEMS;

EID: 44649150193     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10703-008-0054-9     Document Type: Article

References (5)

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