Our Experience with the CodeContracts Static Checker - (Invited Tutorial)
暂无分享,去创建一个
[1] Patrick Cousot,et al. Precondition Inference from Intermittent Assertions and Application to Contracts on Collections , 2011, VMCAI.
[2] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[3] Manuel Fähndrich,et al. Embedded contract languages , 2010, SAC '10.
[4] Manuel Fähndrich,et al. Checking Compatibility of Bit Sizes in Floating Point Comparison Operations , 2012, Electron. Notes Theor. Comput. Sci..
[5] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[6] Bernhard Beckert,et al. Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers , 2011, FoVeOOS.
[7] Manuel Fähndrich,et al. Static Contract Checking with Abstract Interpretation , 2010, FoVeOOS.
[8] Francesco Logozzo. Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes , 2007, VMCAI.
[9] Manuel Fähndrich,et al. Pentagons: a weakly relational abstract domain for the efficient validation of array accesses , 2008, SAC '08.
[10] Patrick Cousot,et al. A parametric segmentation functor for fully automatic and scalable array content analysis , 2011, POPL '11.
[11] Francesco Logozzo,et al. SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities , 2009, VMCAI.