Model Checking with SAT and SMT
by Coursera
Learn model checking using SAT and SMT solvers. Master formal verification techniques for software and hardware systems on Coursera.
Why this course
- Strong theoretical foundation in modern SAT solving
- Covers key concepts like CDCL and proof systems
- Practical relevance to formal verification and automated reasoning
- Well-structured modules with progressive complexity
