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 checking for concurrent programs is ba
Description:
Thesis (M.S.)--American University of Beirut, Department of Computer Science, 2011.;"Advisor : Dr. Paul Attieh, Associate Professor, Computer Science--Members of Committee: Dr. Marcel Karam, Associate Professor, Computer Science Dr. Wassim Masri, Associa
Includes bibliographical references (leaves 143-145)
