The top documents tagged [abstract interpretation]

Software Testing Types.doc
Documents Software Testing Types.doc

111 views

Simseer and Bugwise - Web Services for Binary-level Software Similarity and Defect Detection
Documents Simseer and Bugwise - Web Services for Binary-level Software Similarity and Defect Detection

843 views

Positive Technologies Application Inspector
Documents Positive Technologies Application Inspector

820 views

A Polynomial-Time Algorithm for Global Value Numbering SAS 2004 Sumit Gulwani George C. Necula
Documents A Polynomial-Time Algorithm for Global Value Numbering SAS 2004 Sumit Gulwani George C. Necula

219 views

Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula
Documents Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula

220 views

Precise Interprocedural Analysis using Random Interpretation Sumit Gulwani George Necula UC-Berkeley
Documents Precise Interprocedural Analysis using Random Interpretation Sumit Gulwani George Necula UC-Berkeley

220 views

Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005
Documents Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005

215 views

1 Minimalist proof assistants Interactions of technology and methodology in formal system level verification Ken McMillan Cadence Berkeley Labs
Documents 1 Minimalist proof assistants Interactions of technology and methodology in formal system level verification Ken McMillan Cadence Berkeley Labs

219 views

1 Compositional Methods and Symbolic Model Checking Ken McMillan Cadence Berkeley Labs
Documents 1 Compositional Methods and Symbolic Model Checking Ken McMillan Cadence Berkeley Labs

224 views

University of Pisa Department of Computer Science Research Projects Pisa, June 12 – 13, 2003
Documents University of Pisa Department of Computer Science Research Projects Pisa, June 12 – 13, 2003

216 views

Internal Deduction and Decision Procedures of the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge Joint Inria-Microsoft Research Center
Documents Internal Deduction and Decision Procedures of the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge Joint Inria-Microsoft Research Center

217 views

François Fages Les Houches, avril 2007 Formal Verification of Dynamical Models and Application to Cell Cycle Control François Fages, Sylvain Soliman Constraint
Documents François Fages Les Houches, avril 2007 Formal Verification of Dynamical Models and Application to Cell Cycle Control François Fages, Sylvain Soliman Constraint

218 views