×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [b assertc]
Home >
b assertc
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula.
214 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