Automated Reasoning: Symbolic Model Checking
Completed by Maria Ulfah Siregar
November 11, 2022
13 hours (approximately)
Maria Ulfah Siregar's account is verified. Coursera certifies their successful completion of Automated Reasoning: Symbolic Model Checking
What you will learn
Understand the foundations of symbolic model checking and automated system verification.
Represent and verify systems using transition systems and Computation Tree Logic
Apply CTL model checking algorithms to automatically check correctness properties
Learn how Binary Decision Diagrams (BDDs) efficiently represent Boolean functions and large state spaces.
Skills you will gain
- Category: Algorithms
- Category: Computational Logic
- Category: Verification And Validation
- Category: Theoretical Computer Science
- Category: Data Structures
