Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial · Zenodo (CERN European Organization for Nuclear Research) · 2020
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