×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [b assert c]
Documents
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula
220 views
Documents
Precise Interprocedural Analysis using Random Interpretation Sumit Gulwani George Necula UC-Berkeley
220 views
Documents
Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005
215 views