B

Keyphrases

Publications

2007

Eddie Jaffuel
Using B Machines for Model-Based Testing of Smartcard Software. B (2007)
Thierry Servat
BRAMA: A New Graphic Animation Tool for B Models. B (2007)
J. Paul Gibson
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. B (2007)
Joseph M. Morris
Plug-and-Play Nondeterminacy. B (2007)
Eddie Jaffuel, Bruno Legeard
LEIRIOS Test Generator: Automated Test Generation from B Models. B (2007)
Nicolas Stouls, Marie-Laure Potet
Security Policy Enforcement Through Refinement Process. B (2007)
Jens Bendisposto, Michael Leuschel
: The B Extensible Eclipse Editing Environment. B (2007)
Julien Groslambert
Verification of LTL on B Event Systems. B (2007)
Mathieu Clabaut
A Tool for Firewall Administration. B (2007)
Bill Stoddart, Dominique Cansell, Frank Zeyda
Modelling and Proof Analysis of Interrupt Driven Scheduling. B (2007)
Julien Groslambert
A. B (2007)
Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy
The B-Method for the Construction of Microkernel-Based Systems. B (2007)
Neil Evans, Wilson Ifill
Hardware Verification and Beyond: Using B at AWE. B (2007)
Stefan Hallerstede
Justifications for the Event-B Modelling Notation. B (2007)
Frédéric Gervais, Marc Frappier, Régine Laleau
Process Patterns into B Specifications. B (2007)
Wilson Ifill, Steve A. Schneider, Helen Treharne
Augmenting B with Control Annotations. B (2007)
Colin F. Snook, Marina Waldén
Refinement of Statemachines Using Event B Semantics. B (2007)
Letu Yang, Michael Poppleton
and CSP Specification to Java Programs. B (2007)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
JML2B: Checking JML Specifications with B Machines. B (2007)
Amal Haddad
Meca: A Tool for Access Control Models. B (2007)
Didier Essamé, Daniel Dollé
B in Large-Scale Projects: The Canarsie Line CBTC Experience. B (2007)
Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti
Instantiation of Parameterized Data Structures for Model-Based Testing. B (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Formal Transformation of Platform Independent Models into Platform Specific Models. B (2007)
Nazim Benaïssa, Dominique Cansell, Dominique Méry
Integration of Security Policy into System Modeling. B (2007)
Edward Chan, Ken Robinson, Brett Welch
Patterns for B: Bridging Formal and Informal Development. B (2007)
Dominique Cansell, Dominique Méry, Joris Rehm
Time Constraint Patterns for Event B Development. B (2007)
Steve Dunne
Chorus Angelorum. B (2007)
Ian Oliver
Experiences in Using B and UML in Industrial Development. B (2007)
David Chemouil
The Design of Spacecraft On-Board Software. B (2007)
Jens Bendisposto, Michael Leuschel
A Generic Flash-Based Animation Engine for ProB. B (2007)
Sylvain Boulmé, Marie-Laure Potet
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. B (2007)
Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner
Symmetry Reduction for B by Permutation Flooding. B (2007)

volume 4355, 2006

B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings B 4355 (2006)

1998

volume 1393, 1998

B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings B 1393 (1998)