Browsing Department of Computer Sciences, UW-Madison by Author "Lammich, Peter"
Now showing items 1-1 of 1
-
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
Kidd, Nicholas; Lammich, Peter; Touili, Tayssir; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2009)We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread's lock operations are properly nested (a la ...