Lecture 01: Course Introduction

554 Views

This video presents the structure of the course, provides an overview of the different kinds of formal methods and specification styles, and tells us some myths on formal methods.

Sign in to receive news from MOOC IMD and to access course forums.