暂无分享,去创建一个
[1] Stephan Merz,et al. Model Checking , 2000 .
[2] Perdita Stevens,et al. Modelling Recursive Calls with UML State Diagrams , 2003, FASE.
[3] Corina S. Pasareanu,et al. Automated Assume-Guarantee Reasoning by Abstraction Refinement , 2008, CAV.
[4] Amir Pnueli,et al. In Transition From Global to Modular Temporal Reasoning about Programs , 1989, Logics and Models of Concurrent Systems.
[5] Mohamed Nassim Seghir,et al. A Lightweight Approach for Loop Summarization , 2011, ATVA.
[6] Lijun Zhang,et al. Probabilistic CEGAR , 2008, CAV.
[7] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[8] Hongyang Qu,et al. Assume-Guarantee Verification for Probabilistic Systems , 2010, TACAS.
[9] Lijun Zhang,et al. Decision algorithms for probabilistic simulations , 2009 .
[10] S. Rajamani,et al. A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs , 2005 .
[11] Thomas A. Henzinger,et al. Compositional Methods for Probabilistic Systems , 2001, CONCUR.
[12] L. D. Moura,et al. The YICES SMT Solver , 2006 .
[13] Sagar Chaki,et al. Automated Assume-Guarantee Reasoning for Simulation Conformance , 2005, CAV.
[14] Edmund M. Clarke,et al. Learning Probabilistic Systems from Tree Samples , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
[15] Christel Baier,et al. Principles of model checking , 2008 .
[16] Lu Feng,et al. Learning-Based Compositional Verification for Synchronous Probabilistic Systems , 2011, ATVA.
[17] Lu Feng,et al. Automated Learning of Probabilistic Assumptions for Compositional Reasoning , 2011, FASE.
[18] Robin Milner,et al. An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.
[19] R. Milner,et al. Bigraphical Reactive Systems , 2001, CONCUR.
[20] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[21] 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..
[22] Mahesh Viswanathan,et al. A counterexample-guided abstraction-refinement framework for markov decision processes , 2008, TOCL.
[23] Nancy A. Lynch,et al. Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..
[24] Howard Barringer,et al. Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning , 2008, Formal Methods Syst. Des..
[25] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.