Slide 1 Slide 2 Grand Challenge Problem: Model Check Concurrent Software Edmund M. Clarke Department of Computer Science Carnegie Mellon University Slide 3 Outline of Talk…