Can I read Model Checking and Mutual Exclusion on EtoBox?

Model Checking and Mutual Exclusion by theresa.painter is a document available to read on EtoBox.

What is Model Checking and Mutual Exclusion about?

This document discusses model checking, providing examples of model checking algorithms and the SMV system. It begins with an overview of model checking and properties verified, then provides an example of verifying mutual exclusion using model checking. It describes the model checking algorithm and issues like state explosion. Finally, it summarizes the SMV model checking system and provides an example SMV program.

Author

theresa.painter

Language

EN