Automated Assume-Guarantee Reasoning through Implicit Learning
暂无分享,去创建一个
Yih-Kuen Tsay | Ming-Hsien Tsai | Edmund M. Clarke | Yu-Fang Chen | Azadeh Farzan | Bow-Yaw Wang | E. Clarke | Yu-Fang Chen | M. Tsai | Bow-Yaw Wang | Azadeh Farzan | Yih-Kuen Tsay
[1] Abraham Silberschatz,et al. Operating System Concepts , 1983 .
[2] Rajeev Alur,et al. Automatic symbolic compositional verification by learning assumptions , 2008, Formal Methods Syst. Des..
[3] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[4] Howard Barringer,et al. Proof Rules for Automated Compositional Verification through Learning , 2003 .
[5] Corina S. Pasareanu,et al. Learning Assumptions for Compositional Verification , 2003, TACAS.
[6] Abraham Silberschatz,et al. Operating System Concepts with Java , 2006 .
[7] George S. Avrunin,et al. Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning , 2008, TSEM.
[8] Ronald L. Rivest,et al. Inference of finite automata using homing sequences , 1989, STOC '89.
[9] Soonho Kong,et al. Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction , 2010, VMCAI.
[10] Nader H. Bshouty. Exact Learning Boolean Function via the Monotone Theory , 1995, Inf. Comput..
[11] Corina S. Pasareanu,et al. Refining Interface Alphabets for Compositional Verification , 2007, TACAS.
[12] Yih-Kuen Tsay,et al. Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages , 2008, TACAS.
[13] Corina S. Pasareanu,et al. Special issue on learning techniques for compositional reasoning , 2008, Formal Methods Syst. Des..
[14] Kenneth L. McMillan,et al. Automated assumption generation for compositional verification , 2008, Formal Methods Syst. Des..
[15] Corina S. Pasareanu,et al. Automated Assume-Guarantee Reasoning by Abstraction Refinement , 2008, CAV.
[16] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[17] Helmut Veith,et al. Counterexample-guided abstraction refinement for symbolic model checking , 2003, JACM.
[18] Edmund M. Clarke,et al. SAT-Based Compositional Verification Using Lazy Learning , 2007, CAV.
[19] Yih-Kuen Tsay,et al. Learning Minimal Separating DFA's for Compositional Verification , 2009, TACAS.
[20] Jim Handy,et al. The cache memory book , 1993 .
[21] Kwangkeun Yi,et al. Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedure, and Predicate Abstraction , 2009 .
[22] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[23] Sagar Chaki,et al. Optimized L*-Based Assume-Guarantee Reasoning , 2007, TACAS.
[24] Fausto Giunchiglia,et al. NUSMV: A New Symbolic Model Verifier , 1999, CAV.
[25] Sagar Chaki,et al. Automated Assume-Guarantee Reasoning for Simulation Conformance , 2005, CAV.