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