Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,589 papers from all fields of science
Search
Sign In
Create Free Account
B-Method
Known as:
B notation
, B-Tool
, B-Tookit
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
APCB
Ada
Alt-Ergo
Automatic programming
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A Meta-model Transformation from UML Activity Diagrams to Event-B Models
Ahlem Ben Younes
,
Y. Hlaoui
,
Leila Jemni Ben Ayed
IEEE 38th International Computer Software and…
2014
Corpus ID: 10597782
The lack of a precise semantics for UML AD makes the reasoning on models workflow constructed using such diagrams infeasible…
Expand
2013
2013
Mathematical Language of Event-B Proofs
Laurent Voisin
2013
Corpus ID: 60249951
This model proves correct the optimisation implemented in Rodin 3.0 for storing the mathematical language in which proofs are…
Expand
2012
2012
Rigorous Design of Lazy Replication System Using Event-B
Raghuraj Suryavanshi
,
Divakar Yadav
International Conference on Contemporary…
2012
Corpus ID: 32968750
Eager replication is a technique of replication that ensures high consistency. Unfortunately, it degrades the system performance…
Expand
2011
2011
Modeling, Verification and Testing of P Systems Using Rodin and ProB
F. Ipate
,
A. Turcanu
2011
Corpus ID: 14109765
Summary. In this paper we present an approach to modelling, veriflcation and testing for cell-like P-systems based on Event-B and…
Expand
2010
2010
Functional Behavior of a Cardiac Pacing System
D. Méry
,
N. Singh
2010
Corpus ID: 195933477
Building high quality and zero defects medical software-based devices is a critical task and formal modeling techniques can…
Expand
2010
2010
Relevance filters for event-B
Jan Röder
2010
Corpus ID: 57213559
Unnecessary hypotheses, that are not required to find a proof of the goal, often prevent an automated theorem prover (ATP) from…
Expand
2009
2009
Feature composition - towards product lines of Event-B models
A. Gondal
,
M. Poppleton
,
C. Snook
2009
Corpus ID: 14163753
Event-B is a formal language for modelling reactive systems, based on set theory and first-order logic. The RODIN toolkit…
Expand
2009
2009
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Divakar Yadav
,
M. Butler
Methods, Models and Tools for Fault Tolerance
2009
Corpus ID: 3285540
In a replicated database system, copies of the database are kept across several sites for fault-tolerance and availability. Data…
Expand
2008
2008
Carrier overlapping PWM methods for single phase cascaded five level inverter
B. Shanthi
,
S. P. Natarajan
2008
Corpus ID: 56257485
A single phase cascaded inverter consisting of two full bridges creates a five level AC output voltage. Due to switch combination…
Expand
2003
2003
Parallel Hardware Design in B
S. Hallerstede
ZB
2003
Corpus ID: 27886055
We present the design of a parallel synchronous hardware component from a purely functional description of its behaviour…
Expand