×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [invariant inference]
Constraint-based Invariant Inference over Predicate Abstraction Sumit Gulwani Ramarathnam Venkatesan Microsoft Research, Redmond Saurabh Srivastava University
215 views
Automating Relatively Complete Verification of Higher-Order Functional Programs
36 views
Developing Verified Programs with Boogie and Boogaloo
48 views