Thread-Modular Model Checking with Iterative Refinement
暂无分享,去创建一个
Qiang Liu | Bow-Yaw Wang | Fei He | Wenrui Meng | Fei He | Qiang Liu | Bow-Yaw Wang | Wenrui Meng
[1] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[2] Kedar S. Namjoshi,et al. Symmetry and Completeness in the Analysis of Parameterized Systems , 2007, VMCAI.
[3] K. Mani Chandy,et al. Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.
[4] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.
[5] Ugo Montanari,et al. International Symposium on Programming , 1982, Lecture Notes in Computer Science.
[6] Andreas Podelski,et al. ACSAR: Software Model Checking with Transfinite Refinement , 2007, SPIN.
[7] Cliff B. Jones,et al. Tentative steps toward a development method for interfering programs , 1983, TOPL.
[8] Thomas A. Henzinger,et al. Thread-Modular Abstraction Refinement , 2003, CAV.
[9] Amir Pnueli,et al. Parameterized Verification with Automatically Computed Inductive Assertions , 2001, CAV.
[10] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[11] Cliff B. Jones,et al. Developing methods for computer programs including a notion of interference , 1981 .
[12] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[13] Amir Pnueli,et al. Automatic Deductive Verification with Invisible Invariants , 2001, TACAS.
[14] Kedar S. Namjoshi,et al. SPLIT: A Compositional LTL Verifier , 2010, CAV.
[15] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.
[16] Cormac Flanagan,et al. Thread-Modular Model Checking , 2003, SPIN.
[17] Qiang Liu,et al. Automatic compositional reasoning for multi-thread programs , 2011, Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design (CSCWD).
[18] Kedar S. Namjoshi,et al. Local proofs for global safety properties , 2007, Formal Methods Syst. Des..
[19] Andreas Podelski,et al. Thread-Modular Counterexample-Guided Abstraction Refinement , 2010, SAS.
[20] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[21] C. Rattray,et al. Specification and Verification of Concurrent Systems , 1990, Workshops in Computing.
[22] Thomas A. Henzinger,et al. Race checking by context inference , 2004, PLDI '04.