×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [b assert c]
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula
217 views
Precise Interprocedural Analysis using Random Interpretation Sumit Gulwani George Necula UC-Berkeley
218 views
Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005
214 views