B-Method

Known as: B method, Clearsy, B notation 
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1991-2017
02040608019912017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to… (More)
Is this relevant?
2009
2009
Event-B is a general purpose formal development method suitable for the design and detailed development of safety-critical… (More)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We present ProB, a validation toolset for the B method. ProB’s automated animation facilities allow users to gain confidence in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The emergence of the UML as a de facto standard for object-oriented modeling has been mirrored by the success of the B method as… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
We formalize the generalized substitution mechanism of the B-method in the higher-order logic of Coq and PVS. Thanks to the… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The B-Method is a state-based formal method that describes system behaviour in terms of MACHINES whose state changes under… (More)
Is this relevant?
1998
1998
The action system formalism has been succesfully used when constructing parallel and distributed systems in a stepwise manner… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?