Automated Reasoning: Symbolic Model Checking
Completed by Marcel Werner
July 14, 2022
13 hours (approximately)
Marcel Werner'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: Algorithms
- Category: Computational Logic
- Category: Verification And Validation
- Category: Theoretical Computer Science
