Satisfiability-Based Program Reasoning and Program Synthesis. door Saurabh Srivastava