functional programming

NOC:Model Checking

Course Description

Course Objective

This course if offered Courtsey NPTEL and covers topics of NOC:Model Checking The goal of this course is to understand some of the techniques and tools used in the process of model-checking.

Ask a Question

My Questions

Comment