Can I read Temporal Logic Concepts and Model Checking on EtoBox?

Temporal Logic Concepts and Model Checking by Anil Yogi is a document available to read on EtoBox.

What is Temporal Logic Concepts and Model Checking about?

The document discusses concepts in temporal logic, including the encoding of processes that are enabled infinitely often and the eventual deadlock of a process. It also addresses the equivalence of certain temporal logic expressions and the model checking of CTL properties. Specific examples and properties are provided for analysis and verification within the context of temporal logic.

Author

Anil Yogi

Language

EN