Browsing by Author "Prabhu, Prathmesh"
Now showing items 2-2 of 2
-
Verifying Concurrent Programs via Bounded Context-Switching and Induction
Prabhu, Prathmesh; Reps, Thomas; Lal, Akash; Kidd, Nicholas (University of Wisconsin-Madison Department of Computer Sciences, 2011)This paper presents a new approach to the problem of verifying safety properties of concurrent programs with shared memory and interleaving semantics. The method described leverages recent work on context-bounded analysis ...