On Local Reasoning in Verification
暂无分享,去创建一个
[1] Harald Ganzinger,et al. Complexity analysis based on ordered resolution , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[2] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[3] David A. McAllester. Automatic recognition of tractability in inference relations , 1993, JACM.
[4] Larry Wos,et al. What Is Automated Reasoning? , 1987, J. Autom. Reason..
[5] Madan Musuvathi,et al. A Combination Method for Generating Interpolants , 2005, CADE.
[6] Bernhard Nebel,et al. Principles of knowledge representation and reasoning: proceedings of the Third International Conference (KR'92) , 1992 .
[7] Harald Ganzinger,et al. Modular proof systems for partial functions with Evans equality , 2006, Inf. Comput..
[8] P. Burmeister. A Model Theoretic Oriented Approach to Partial Algebras , 1986 .
[9] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[10] Johannes Faber,et al. Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters , 2007, IFM.
[11] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[12] Robert Givan,et al. Polynomial-time computation via local inference relations , 2000, TOCL.
[13] Viorica Sofronie-Stokkermans,et al. Applications of Hierarchical Reasoning in the Verification of Complex Systems , 2007, Electron. Notes Theor. Comput. Sci..
[14] Silvio Ghilardi,et al. Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies , 2006, JELIA.
[15] Harald Ganzinger. Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[16] Henny B. Sipma,et al. What's Decidable About Arrays? , 2006, VMCAI.
[17] George C. Necula,et al. Data Structure Specifications via Local Equality Axioms , 2005, CAV.
[18] Graham Steel,et al. Deduction with XOR Constraints in Security API Modelling , 2005, CADE.
[19] William Craig,et al. Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.
[20] Kenneth L. McMillan,et al. Applications of Craig Interpolants in Model Checking , 2005, TACAS.
[21] Robert Givan,et al. New Results on Local Inference Relations , 1992, KR.
[22] Viorica Sofronie-Stokkermans,et al. Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions , 2007, FroCoS.
[23] Carsten Ihlemann,et al. Automated Reasoning in Some Local Extensions of Ordered Structures , 2007, 37th International Symposium on Multiple-Valued Logic (ISMVL'07).
[24] Viorica Sofronie-Stokkermans. Interpolation in Local Theory Extensions , 2006, IJCAR.
[25] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[26] Stanley Burris,et al. Polynomial Time Uniform Word Problems , 1995, Math. Log. Q..
[27] Viorica Sofronie-Stokkermans,et al. Hierarchic Reasoning in Local Theory Extensions , 2005, CADE.
[28] Carsten Ihlemann,et al. Local Theory Extensions, Hierarchical Reasoning and Applications to Verification , 2007, Deduction and Decision Procedures.
[29] Kenneth L. McMillan,et al. An interpolating theorem prover , 2005, Theor. Comput. Sci..
[30] Frank Wolter,et al. Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.