Formal Methods: Theory Becoming Practice

Abstract

In this paper I will introduce the ideas behind the B formal method, especially as crystalised in its latest version, Event-B. I shall give some insights on modeling and formal reasoning, activities intended to be performed before undertaking the