Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera

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

Automated Reasoning: Symbolic Model Checking

4.7 (26 ratings)

|

2,867 already enrolled

Enroll for Free

Skills you will gain

Algorithms
Theoretical Computer Science
Computational Logic
Systems Analysis
Data Structures
Verification And Validation

View certificate for Risheng Xu, Automated Reasoning: Symbolic Model Checking, an online non-credit course authorized by EIT Digital and offered through Coursera