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.
2018
2018
Repair and Generation of Formal Models Using Synthesis
Writing a formal model is a complicated and time-consuming task. Usually, one successively refines a model with the help of proof… 
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
Validation of the ABZ landing gear system using ProB
In this article, we present our formalization of the ABZ landing gear case study in Event-B. The development was carried out… 
2014
2014
Synthesis of Processor Instruction Sets from High-Level ISA Specifications
As processors continue to get exponentially cheaper for end users following Moore's law, the costs involved in their design keep… 
2011
2011
Patterns for Representing FMEA in Formal Specification of Control Systems
Failure Modes and Effects analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with… 
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… 
2006
2006
A formal approach based on UML and B for the specification and development of database applications
This article describes a formal approach to specify and develop database applications. This approach consists of two… 
Highly Cited
1998
Highly Cited
1998
A Lightweight Approach to Formal Methods
The main current trend in applied formal methods can be characterized by the term "lightweight". Historically, formal methods… 
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… 
1989
1989
In-trough cyclic voltammetric studies of Langmuir-Blodgett monolayers of a surfactant derivative of tris(2,2'-bipyridine)ruthenium(2+) at an indium-tin oxide electrode
Langmuir-Blodgett (L-B) monolayers of a surfactant derivative of ruthenium tris(bipyridine) complex, Ru-(bpy){sub 2}(bpy-C{sub 19… 
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)