Documents Model Checking of Concurrent Software: Current Projects Thomas Reps University of Wisconsin.

Slide 1 Model Checking of Concurrent Software: Current Projects Thomas Reps University of Wisconsin Slide 2 Projects and Personnel University of Wisconsin –Anne Mulhern…

Documents Model Checking of Concurrent Software: Current Projects

Model Checking of Concurrent Software: Current Projects Thomas Reps University of Wisconsin Projects and Personnel University of Wisconsin Anne Mulhern Alexey Loginov Tel-Aviv…