Thread-Modular Model Checking
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[2] David L. Dill,et al. Better verification through symmetry , 1996, Formal Methods Syst. Des..
[3] Cliff B. Jones,et al. Tentative steps toward a development method for interfering programs , 1983, TOPL.
[4] G. Ramalingam,et al. Context-sensitive synchronization-sensitive analysis is undecidable , 2000, TOPL.
[5] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[6] Sanjit A. Seshia,et al. A Modular Checker for Multithreaded Programs , 2002, CAV.
[7] Stephen N. Freund,et al. Thread-Modular Verification for Shared-Memory Programs , 2002, ESOP.
[8] Tayssir Touili,et al. A Generic Approach to the Static Analysis of Concurrent Programs with Procedures , 2003, Int. J. Found. Comput. Sci..
[9] 守屋 悦朗,et al. J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .
[10] Corina S. Pasareanu,et al. Learning Assumptions for Compositional Verification , 2003, TACAS.
[11] Howard Barringer,et al. Assumption generation for software component verification , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.