Course in electrical-engineering Model Checking (onlinecourses.nptel.ac.in) Also available on classcentral.com. By Chennai Mathematical Institute via Swayam ★ - 0 ratings