Automated Assume-Guarantee Reasoning by Abstraction Refinement
暂无分享,去创建一个
Corina S. Pasareanu | Dimitra Giannakopoulou | Mihaela Gheorghiu Bobaru | C. Pasareanu | D. Giannakopoulou | M. Bobaru
[1] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .
[2] Edmund M. Clarke,et al. SAT-Based Compositional Verification Using Lazy Learning , 2007, CAV.
[3] Thomas A. Henzinger,et al. Algorithms for Interface Synthesis , 2007, CAV.
[4] Edmund M. Clarke,et al. Counterexample-guided abstraction refinement , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
[5] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[6] Stephan Merz,et al. Model Checking , 2000 .
[7] Corina S. Pasareanu,et al. Refining Interface Alphabets for Compositional Verification , 2007, TACAS.
[8] Sagar Chaki,et al. Optimized L*-Based Assume-Guarantee Reasoning , 2007, TACAS.
[9] Joël Ouaknine,et al. Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach , 2003, SoftMC@CAV.
[10] Sagar Chaki,et al. Automated Assume-Guarantee Reasoning for Simulation Conformance , 2005, CAV.
[11] Rajeev Alur,et al. Symbolic Compositional Verification by Learning Assumptions , 2005, CAV.
[12] Amir Pnueli,et al. In Transition From Global to Modular Temporal Reasoning about Programs , 1989, Logics and Models of Concurrent Systems.
[13] Corina S. Pasareanu,et al. Learning Assumptions for Compositional Verification , 2003, TACAS.
[14] George S. Avrunin,et al. Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning , 2006, ISSTA '06.
[15] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[16] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[17] Cliff B. Jones,et al. Specification and Design of (Parallel) Programs , 1983, IFIP Congress.
[18] Kenneth L. McMillan,et al. Automated assumption generation for compositional verification , 2007, Formal Methods Syst. Des..