Automated Reasoning

Filter Courses within "Automated Reasoning" (Click to filter)
Reset Filters | Advanced Global Search
Automated Reasoning: satisfiability (Coursera) Coursera
EIT Digital

Automated Reasoning: satisfiability (Coursera)

Computer Science

Dive into the world of Automated Reasoning with our course on Satisfiability (SAT/SMT) Tools. Master the art of applying these powerful tools to solve complex scheduling problems, fit rectangles for printing posters, tackle puzzles, and ensure program correctness. Gain a comprehensive understanding of resolution, CDCL framework, and simplex method.

Aug 3rd 2026
4 Weeks
Algorithms Computer Science Satisfiability
Details
Automated Reasoning: Symbolic Model Checking (Coursera) Coursera
EIT Digital

Automated Reasoning: Symbolic Model Checking (Coursera)

CS: Software Engineering Computer Science

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.

Jul 27th 2026
4 Weeks
Model Checking CTL Coursera Plus
Details
Page 1