Add to ORKGOur application domain with the B Method and Event-B is the modeling and develop-ment of industrial (embedded) systems. We have been working in this area for more than 20 years. More is described in [1] where the evolution from Z to B and Event-B is described with full details.The starting application of this approach was the driverles
Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 1270...
This paper provides an overview of how the Event-B language and verification method can be used to m...
The goal of this technical note is to demonstrate how Event-B can be used to build mathematical libr...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
This paper proposes a new extension to the Event-B modelling method to facilitate the building of hi...
Formal modelling is increasingly recognised as an important step in the development of reliable comp...
Article dans revue scientifique avec comité de lecture.B is a method for specifying, designing and c...
The original publication is available at www.springerlink.com.International audienceThis article pre...
The B method as a mathematical concept with its underlying theories will be presented. The presentat...
Abstract. The Rodin tool for Event-B supports formal modelling and proof using a mathematical langua...
Event-B [6] is a formalism for discrete system modelling. Key features of Event-B include the use of...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
The event calculus (EC) (Shanahan 1999) is a powerful and highly usable formalism for reasoning abou...
Formal methods are mathematical techniques used for developing large systems. The complexity of grow...
Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 1270...
This paper provides an overview of how the Event-B language and verification method can be used to m...
The goal of this technical note is to demonstrate how Event-B can be used to build mathematical libr...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
This paper proposes a new extension to the Event-B modelling method to facilitate the building of hi...
Formal modelling is increasingly recognised as an important step in the development of reliable comp...
Article dans revue scientifique avec comité de lecture.B is a method for specifying, designing and c...
The original publication is available at www.springerlink.com.International audienceThis article pre...
The B method as a mathematical concept with its underlying theories will be presented. The presentat...
Abstract. The Rodin tool for Event-B supports formal modelling and proof using a mathematical langua...
Event-B [6] is a formalism for discrete system modelling. Key features of Event-B include the use of...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
The event calculus (EC) (Shanahan 1999) is a powerful and highly usable formalism for reasoning abou...
Formal methods are mathematical techniques used for developing large systems. The complexity of grow...
Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 1270...
This paper provides an overview of how the Event-B language and verification method can be used to m...
The goal of this technical note is to demonstrate how Event-B can be used to build mathematical libr...