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