Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
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
Topics & Concepts
Computer scienceFormal methodsSoftware engineeringManagement scienceEconomicsFormal Methods in VerificationSoftware Reliability and Analysis ResearchDistributed systems and fault tolerance