AUB ScholarWorks
A modeling and specification verification tool for concurrent programs - by Emile Mounir Shartouny.
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Shartouny, Emile Mounir. |
| dc.date.accessioned | 2012-06-13T07:35:52Z |
| dc.date.available | 2012-06-13T07:35:52Z |
| dc.date.issued | 2011 |
| dc.identifier.uri | http://hdl.handle.net/10938/8793 |
| dc.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 |
| dc.description | Includes bibliographical references (leaves 143-145) |
| dc.description.abstract | 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 |
| dc.format.extent | xii, 145 leaves : ill. 30 cm. |
| dc.language.iso | eng |
| dc.relation.ispartof | Theses, Dissertations, and Projects |
| dc.subject.classification | T:005526 AUBNO |
| dc.subject.lcsh | Operating systems (Computers). |
| dc.subject.lcsh | Distributed operating systems (Computers). |
| dc.title | A modeling and specification verification tool for concurrent programs - by Emile Mounir Shartouny. |
| dc.type | Thesis |
| dc.contributor.department | American University of Beirut. Faculty of Arts and Sciences. Department of Computer Science. |
