Abstract: This thesis proposes a technique for specifying and verifying formal requirements in the context of the Cordis Modeler, bridging the gap between the high-level nature of Cordis models and the complex construction of μ-calculus formulas. Formal verification plays an important role in ensuring the correctness of complex systems. This thesis investigates how formal requirements …continue reading