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