id,title,slug,link,category_id,tags,type_id,image,provider_id,publisher_id,university_id,institution_id,duration,cost_id,certificate,difficulty,description,syllabus,pages,added_date,published_date,bad_link,popular
20226,"Automated Reasoning: Symbolic Model Checking",automated-reasoning-symbolic-model-checking-20226,,1,,1,https://d3f1iyfxxz8i1e.cloudfront.net/courses/course_image/eda68ced8012.jpg,3,,,46,"13 hours 11 minutes",2,"Paid Certificate",,"





",,,2024-06-24,,no,