Regression Verification for Multi-threaded Programs

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-27940-9_9 ◽

2012 ◽

pp. 119-135 ◽

Author(s):

Sagar Chaki ◽

Arie Gurfinkel ◽

Ofer Strichman

Download Full-text