Lecture 02: Overview of the B method

427 Views

This video briefly introduces the tool Atelier-B, the B and Event-B languages, and some industrial references. The main concepts of B are exposed.

Additional links

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