Model Checking Concurrent Programs

Simple item page
dc.contributor.authorBarland, Ian
dc.contributor.authorVardi, Moshe
dc.contributor.authorGreiner, John
dc.date.accessioned2022-05-03T14:32:47Z
dc.date.available2022-05-03T14:32:47Z
dc.date.issued2007-04-12
dc.description.abstractIntroduction to the use of Promela and SPIN as a model-checker for verifying concurrent programs. The underlying transition system is used as a model for the interpretation of Linear Temporal Logic (LTL) formulas.
dc.description.noteThis work was created using the Connexions authoring platform. This platform will be retired as of the end of 2021.  This work has been migrated to PDF format for continuous access to the educational content, however any embedded links within the text to the legacy platform may no longer be accessible.
dc.digitization.specificationsContent was converted from legacy website (HTML) to accessible (tagged and OCRd) PDF format.
dc.format.extent106 pp
dc.identifier.citationBarland, Ian, Vardi, Moshe and Greiner, John. "Model Checking Concurrent Programs." (2007) Rice University: <a href="https://hdl.handle.net/1911/112237">https://hdl.handle.net/1911/112237</a>.
dc.identifier.digitalcol10294-FINAL
dc.identifier.urihttps://hdl.handle.net/1911/112237
dc.language.isoeng
dc.publisherRice University
dc.rightsThis work is licensed under a Creative Commons Attribution License (BY 2.0)
dc.rights.urihttps://creativecommons.org/licenses/by/2.0/
dc.subjectScience and Technology
dc.subject.keywordconcurrency
dc.subject.keywordconcurrent
dc.subject.keyworddeadlock
dc.subject.keywordlivelock
dc.subject.keywordLTL
dc.subject.keywordmodel checking
dc.subject.keywordmodel-checking
dc.subject.keywordpromelaspin
dc.subject.keywordTeach
dc.subject.keywordLogic
dc.subject.keywordtemporal logic
dc.subject.keywordverification
dc.titleModel Checking Concurrent Programs
dc.type.dcmiText
dc.type.genreInstructional and educational works
dcterms.accessRightsfreely accessible, openly licensed text
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
col10294-FINAL.pdf
Size:
1.07 MB
Format:
Adobe Portable Document Format
Download
Collections
OpenStax CNX