×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [abstract interpretation]
Software Testing Types.doc
111 views
Simseer and Bugwise - Web Services for Binary-level Software Similarity and Defect Detection
843 views
Positive Technologies Application Inspector
820 views
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
220 views
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
215 views
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
224 views
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
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
218 views
Next >