Can I read FM Lecture 20 on EtoBox?

FM Lecture 20 by codingworldcrazycube is a document available to read on EtoBox.

What is FM Lecture 20 about?

The document discusses model checking in formal methods, specifically focusing on mutual exclusion in concurrent processes. It highlights the properties of safety and liveness, demonstrating that while safety is satisfied, liveness may fail without adjustments. The NuSMV model checker is introduced as a tool for verifying these properties in system models.

Author

codingworldcrazycube

Language

EN