Automated Reasoning: Symbolic Model Checking
Completed by Saurav shekar Gummalla
May 13, 2022
13 hours (approximately)
Saurav shekar Gummalla'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: Data Structures
- Category: Theoretical Computer Science
- Category: Algorithms
- Category: Verification And Validation
- Category: Computational Logic
