- Conference Paper
Event-B is a notation and method for discrete systems modelling by refinement. The notation has been carefully designed to be simple and easily teachable. The simplicity of the notation takes also into account the support by a modelling tool. This is important because Event-B is intended to be used to create complex models. Without appropriate tool support this would not be possible. This article presents justifications and explanations for the choices that have been made when designing the Event-B notation. Show more
Book titleB 2007: Formal Specification and Development in B
Journal / seriesLecture Notes in Computer Science
Pages / Article No.
MoreShow all metadata