Skip to search formSkip to main contentSkip to account menu

B-Method

Known as: B notation, B-Tool, B-Tookit 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
APCBAdaAlt-ErgoAutomatic programming

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments
The environments of pervasive computing are open and dynamic. In order to ensure the dynamic discovery of services evolving in a… 
2014
2014
A Meta-model Transformation from UML Activity Diagrams to Event-B Models
The lack of a precise semantics for UML AD makes the reasoning on models workflow constructed using such diagrams infeasible… 
2013
2013
Mathematical Language of Event-B Proofs
This model proves correct the optimisation implemented in Rodin 3.0 for storing the mathematical language in which proofs are… 
2012
2012
Rigorous Design of Lazy Replication System Using Event-B
Eager replication is a technique of replication that ensures high consistency. Unfortunately, it degrades the system performance… 
2011
2011
Modeling, Verification and Testing of P Systems Using Rodin and ProB
Summary. In this paper we present an approach to modelling, veriflcation and testing for cell-like P-systems based on Event-B and… 
2010
2010
Relevance filters for event-B
Unnecessary hypotheses, that are not required to find a proof of the goal, often prevent an automated theorem prover (ATP) from… 
2009
2009
Feature composition - towards product lines of Event-B models
Event-B is a formal language for modelling reactive systems, based on set theory and first-order logic. The RODIN toolkit… 
2009
2009
SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook.
PROB is a model checker for high-level B and Event-B models based on constraint-solving. In this paper we investigate alternate… 
2008
2008
Carrier overlapping PWM methods for single phase cascaded five level inverter
A single phase cascaded inverter consisting of two full bridges creates a five level AC output voltage. Due to switch combination… 
2003
2003
Parallel Hardware Design in B
We present the design of a parallel synchronous hardware component from a purely functional description of its behaviour…