Model Checking Concurrent Programs
Date
2007-04-12
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Rice University
Abstract
Introduction 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.
Description
Advisor
Degree
Type
Keywords
Science and Technology
Citation
Barland, Ian, Vardi, Moshe and Greiner, John. "Model Checking Concurrent Programs." (2007) Rice University: https://hdl.handle.net/1911/112237.
Has part(s)
Forms part of
Published Version
Rights
This work is licensed under a Creative Commons Attribution License (BY 2.0)