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