Simplifying complexity & Identifying errors earlier in the lifecycle.

Speaker(s): Prof Michael J Butler
Organiser:
Time: 19/11/2008 13:00-13:50
Location: B53/40

Abstract

In this talk I will discuss the role that formal modelling and verification can play in managing complexity in system design, in clarifying requirements and finding errors early in the development lifecycle. This will be in the context of Event-B and the Deploy project.