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
Skills you will gain
- Category: Graph Theory
- Category: Computational Logic
- Category: Verification And Validation
- Category: Data Structures
- Category: Systems Analysis
- Category: Algorithms
- Category: Model Evaluation
- Category: Theoretical Computer Science
