Readings in Model Checking

Department:

Computer Science >

Course:

C S

786

3.0 Credit, 3 Lecture, 0 Lab

Focused readings and projects as suggested by class interest and current trends.

Check your model

Find bugs in software