System Validation: Automata and behavioural equivalences

Learn the foundations of system validation and formal verification through this specialised online course. You will explore how automata and labelled transition systems are used to model the behaviour of software-controlled systems, helping to analyse communication processes and detect potential errors before deployment. The course introduces behavioural equivalences, abstraction techniques, and formal methods that support the design of reliable, maintainable, and error-free software and embedded systems.  

What you will learn: 

• How to model system behaviour using automata and transition systems.  
• Fundamental concepts of behavioural equivalence and system comparison.  
• Techniques for analysing and validating software communication processes.  
• Methods for simplifying complex system behaviour through abstraction.  
• Formal verification approaches for improving system reliability.  
• Foundations of system validation for software and embedded systems.  

Follow the ‘go to course’ and sign up!