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

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

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 Rama Nahawandi , Automated Reasoning: Symbolic Model Checking, an online non-credit course authorized by EIT Digital and offered through Coursera