Automated Reasoning: Symbolic Model Checking

Completed by Risheng Xu

January 6, 2021

13 hours (approximately)

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