Rigorous Analysis Of Combined Software Processes Via Model Checking

Simple item page
dc.contributor.advisorPodorozhny, Rodion
dc.contributor.authorMcDermott, Mark
dc.contributor.committeeMemberNgu, Anne
dc.contributor.committeeMemberYang, Guowei
dc.date.accessioned2021-05-10T15:55:43Z
dc.date.available2021-05-10T15:55:43Z
dc.date.issued2021-08
dc.description.abstractThe ability to automatically combine and analyze multiple concurrent processes, perhaps written by different people, becomes increasingly important in the modern mobile, distributed, and ad-hoc computational environments. For instance, medical processes that guide medical procedures in hospitals are written by different people, yet they are performed concurrently on the same patient. There are critical properties that such combined, concurrent processes must adhere to. Failure to adhere to such properties may result in the loss of life or serious disability. This work presents an automatic verification system written from scratch (about 32,000 lines of Java) that takes in rigorous descriptions of individual processes in Little-JIL, translates them semantically, combines them into an ad-hoc concurrent process, and performs static verification against specified critical properties via CTL model checking algorithms.
dc.description.departmentComputer Science
dc.formatText
dc.format.extent117 pages
dc.format.medium1 file (.pdf)
dc.identifier.citationMcDermott, M. (2021). <i>Rigorous analysis Of combined software processes via model checking</i> (Unpublished thesis). Texas State University, San Marcos, Texas.
dc.identifier.urihttps://hdl.handle.net/10877/13515
dc.language.isoen
dc.subjectSoftware
dc.subjectProcesses
dc.subjectConcurrency
dc.titleRigorous Analysis Of Combined Software Processes Via Model Checking
dc.typeThesis
thesis.degree.departmentComputer Science
thesis.degree.disciplineSoftware Engineering
thesis.degree.grantorTexas State University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
MCDERMOTT-THESIS-2021.pdf
Size:
5.94 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
PROQUEST_LICENSE.txt
Size:
4.53 KB
Format:
Plain Text
Description:
Download
No Thumbnail Available
Name:
LICENSE.txt
Size:
2.97 KB
Format:
Plain Text
Description:
Download

Collections

Graduate Theses and Dissertations