Automated Reasoning: Symbolic Model Checking
Completed by Risheng Xu
January 6, 2021
13 hours (approximately)
Risheng Xu'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: Verification And Validation
- Category: Computational Logic
- Category: Data Structures
- Category: Theoretical Computer Science
- Category: Algorithms
