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.
2019
2019
Formalizing a Policy-based Compliance Control Solution with Event-B
Compliance management is gaining increasing interest in inter-organizational service-oriented systems, which are usually… 
2014
2014
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
This paper describes the modeling, done using the Event-B notation, of the aircraft landing gear case study that was proposed in… 
2014
2014
Modeling an Aircraft Landing System in Event-B
This paper presents a stepwise formal development of the landing system of an aircraft. The formal models include the complex… 
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… 
2010
2010
Functional Behavior of a Cardiac Pacing System
Building high quality and zero defects medical software-based devices is a critical task and formal modeling techniques can… 
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
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification
In this paper, we present a new approach to generating Event B specification from UML Activity Diagrams (AD). The goal of this… 
2009
2009
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
In a replicated database system, copies of the database are kept across several sites for fault-tolerance and availability. Data… 
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… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)