Slide 1 Summarizing Procedures in Concurrent Programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research Slide 2 Concurrent programs Operating systems, device…