Home -
News -
Products -
Versions -
Download -
Manuals
- Maintenance -
Distribution Policy -
Roadmap & Contribution -
Support -
Training -
Documents -
Press -
References -
R&D - Contacts -
Jobs -
Links -
Your Account
Documents about B
Summary... |
Presentation
Title |
Author |
File |
B : Une méthode de développement de logiciels sûrs |
Loïc PELHATE |
|
Software Development with B (In Japanese) |
- |
Manuals
Title |
Author |
File |
|
B Language Reference Manual |
ClearSy |
|
|
B Language Keyword and Operators |
ClearSy |
Industrial Applications: automotive diagnosis
Title |
Author |
File |
|
Les principes de fonctionnement formalisés (QSL) |
G. Pouzancre |
|
|
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule (TSI) |
G. Pouzancre, J.P. Pitzalis |
|
|
How to diagnose a modern car with a formal B model (ZB'2003) |
G. Pouzancre |
|
|
Formalized operations principles |
D. Sabatier |
Industrial Applications: Railway Sector
Title |
Author |
File |
|
Approche Formelle pour la réalisation d'un système sécuritaire de contrôle commande de façades de quais - Coppilot - AFIS 2006 |
G. Pouzancre |
Industrial Applications: Smartcard
Fresh information available at Gemplus Website. Some documents available below :
Title |
Author |
File |
|
Adaptable Translator of B Specifications to Embedded C Programs |
D. Bert, S. Boulmé, M-L. Potet, A. Requet, L. Voisin |
|
|
Formal Implementation of a Verification Algorithm using the B Method |
L. Casset |
|
|
Formal Development of an Embedded Verifier for Java Card Byte Code |
L. Casset |
|
|
Development of an embedded verifier for Java Card Byte Code using Formal Methods |
L. Casset |
|
|
Construction Correcte de Logiciels pour Carte à Puce |
L. Casset |
System Modelling in B
Title |
Author |
File |
|
Guidelines to Formal System Studies |
J. R. Abrial |
|
|
Introducing Dynamic Constraints in B |
J. R. Abrial, L. Mussat |
|
|
Etude Système: méthode et exemple |
J. R. Abrial |
|
|
Le cahier des charges: contenu, forme et analyse |
J. R. Abrial |
|
|
Event Driven System Construction |
J. R. Abrial |
|
|
Event Driven Sequential Program Construction |
J. R. Abrial |
|
|
Event Driven Distributed Program Construction |
J. R. Abrial |
|
|
Event Driven Electronic Circuit Construction |
J. R. Abrial |
|
|
Event Model Decomposition |
J. R. Abrial |
|
|
CompoSys, un outil de modélisation des systèmes - AFADL'06 |
Florent Patin |
|
|
Application industrielle de la méthode formelle B - CEAT |
Thierry Servat |
|
|
Industrial Use of B |
ClearSy |
|
|
An overview of Atelier B 4.0 - Nantes 2008 |
Antoine Requet |
Examples
Title |
Author |
Files |
|
Etude de cas: distributeur de billets |
ClearSy |
|
|
Etude de cas: portrait robot |
ClearSy |
|
|
Etude de cas: contrôle d'accès à un bâtiment |
ClearSy |
|
|
Modèles Réactifs - Exemple de B Evénementiel "L'Ile" |
Louis Mussat |
Event B / B Translator
Title |
Author |
File |
|
Manuel de référence du B événementiel |
ClearSy |
|
|
Manuel utilisateur du traducteur |
ClearSy |
|
|
Traducteur (Logic Solver) |
ClearSy |
Programming in Logic Solver
Title |
Author |
File |
|
Manuel de syntaxe |
ClearSy |
|
|
Manuel de sémantique |
ClearSy |
|
|
Manuel de référence |
ClearSy |
|
