- Algorithms
- Graph Theory
- Computational Logic
- Theoretical Computer Science
- Model Evaluation
- Data Structures
- Systems Analysis
- Verification And Validation
Automated Reasoning: Symbolic Model Checking
Completed by Rama Nahawandi
October 13, 2021
13 hours (approximately)
Rama Nahawandi 's account is verified. Coursera certifies their successful completion of Automated Reasoning: Symbolic Model Checking
Skills you will gain
