Shartouny, Emile Mounir.
(2011)
Verifying software correctness is difficult, tedious, and error-prone, especially when it comes to non-terminating concurrent programs. Model Checking is a fundamental means for concurrent program verification. Model ...