A modeling and specification verification tool for concurrent programs - by Emile Mounir Shartouny.

Simple item page
dc.contributor.authorShartouny, Emile Mounir.
dc.contributor.departmentDepartment of Computer Science
dc.contributor.facultyFaculty of Arts and Sciences
dc.contributor.institutionAmerican University of Beirut
dc.date2011
dc.date.accessioned2012-06-13T07:35:52Z
dc.date.available2012-06-13T07:35:52Z
dc.date.issued2011
dc.descriptionThesis (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.descriptionIncludes bibliographical references (leaves 143-145)
dc.description.abstractVerifying 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.extentxii, 145 leaves : ill. 30 cm.
dc.identifier.urihttp://hdl.handle.net/10938/8793
dc.language.isoen
dc.relation.ispartofTheses, Dissertations, and Projects
dc.subject.classificationT:005526 AUBNO
dc.subject.lcshOperating systems (Computers).
dc.subject.lcshDistributed operating systems (Computers).
dc.titleA modeling and specification verification tool for concurrent programs - by Emile Mounir Shartouny.
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
t-5526.pdf
Size:
936.32 KB
Format:
Adobe Portable Document Format
Download

Collections

AUB Students' Theses, Dissertations, and Projects