Slide 1Paraglide Martin Vechev Eran Yahav Martin Vechev Eran Yahav Slide 2 Synthesizing System-Level Software Requirements Correctness Scalability Response time Requirements…