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