From Program Verification to Program Synthesis

by Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster