System Validation (3): Requirements by modal formulas
Completed by Erik Wouters
August 23, 2017
3 hours (approximately)
Erik Wouters's account is verified. Coursera certifies their successful completion of System Validation (3): Requirements by modal formulas
What you will learn
Learn how to specify system requirements using modal logic and formal behavioural properties.
Apply formal verification techniques to analyse and validate the behaviour of distributed and embedded systems.
Learn how modal formulas are translated into Boolean Equation Systems (BES) for automated verification.Â
Understand Hennessy-Milner logic and fixed-point operators for describing complex software behaviour.
