The History and Evolution of B and Event-B

Download

• Paper

Abstract

The B method for software and systems development together with the specification language B and its successor Event-B offer a rich history. Method, language and tools have been influenced by research stemming from other communities, but also have driven research in formal methods themselves. At the same time, the B method has been successfully used in industry, in particular in the railway domain.