Coursera
EIT Digital
Automated Reasoning: Symbolic Model Checking (Coursera)
Explore Automated Reasoning: Symbolic Model Checking, an engaging online course designed to teach you how to verify the properties of complex systems and programs automatically. Dive into the world of transition systems, CTL properties, and learn techniques that can ensure the reliability and safety of your systems.