The course provides deep understanding and practical skills about the techniques applicable in software verification and synthesis by focusing on most challenging software types, such as, safety critical, real-time, and cyber-physical systems. Labs will provide the knowledge on how to use formal modelling and verification tools in practice.
- Õpetaja/Teacher: Jüri Vain
Archived: Ei