×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [automatic program synthesis]
Prof. Necula CS 294-8 Lecture 91 Theorem Proving CS 294-8 Lecture 9
225 views
Program Analysis and Verification 0368-4479 Noam Rinetzky Lecture 3: Axiomatic Semantics 1 Slides credit: Roman Manevich, Mooly Sagiv, Eran Yahav
216 views
From Program Verification to Program Synthesis
35 views