Courses, events and documents on B
English resources
- On Using B in the design of Secure Micro-Controllers: an Experience Report (Marc Benveniste – STMicroelectronics)
- Formal Design with B – Master 1, 2011-2012 (Labri – Bordeaux)
- B method: an overview through example (Ewa Romanowicz – McMaster University)
- The B Method for Programmers (Gergo Erdi)
- B method (Jean-Raymond Abrial – Oxford)
- The B method takes up floating-point numbers (Jean-Louis Dufour – SAGEM)
- The B method ans the component-based approach (Dorian Petit – LAMIH)
- Some Guidelines for Formal Development of Web-based Applications in B-Method (Michael Butler – Univertity of Southampton)
- ProB: An Automated Analysis Toolset for the B Method (Michael Leuschel – University Dusseldorf)
- How to formally specify the Java Bytecode semantics using the B method (Ludovic Casset – Gemplus)
- Investigation of the B Method (Frank Zyda – University of Teeside)
- The formal method known as B and a sketch for its implementation (Antti-Juhani Kaijanaho – University of Jyväskylä)
- Tutorial on the event-based B method (Dominique Cansell – LORIA)
- An Extension of COCOMO II for the B-Method (Yujun Zheng – Jiangxi Normal University)
- B: A Model-Based Method Using Generalised Substitutions (Marc Frappier – University of Sheerbroke)
- Formal Verification Of Real Time Distributed Systems Using B Method (Ayaman M. Wahba – Faculty of Engineering Ain Shams University)
- Application of the B method towards the automation of Java Card component development(David Deharbe – Universidade Federal do Rio Grande do Norte)
- The B-method: an Introduction (Steve Schneider – University of York)
- Verification and Validation of Web Services Compositions Using the Event-B Method (Yamine Ait-Ameur – ENSMA)
- Applying the B Formal Method to the Bossa Domain-Specific Language(Jean-Paul Bodeveix – IRIT)
-
System Modelling and Design (Ken Robinson)
French resources
- Maîtrise cours de génie logiciel 2: Atelier B (Christine Paulin – LRI)
- La méthode B (Dominique Cansell – LORIA)
- Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés (Jacques Valancogne – Techniques de l’Ingénieur)
- B: une méthode de développement de logiciels sûrs (Loic Pelhate – RATP)
- B et les méthodes formelles (Moniot – Brillant)
- De l’expression du besoin à la réalisation du logiciel (Siméon Marijon, Mickaël Barroux)
- La méthode B: modélisation, validation et implémentation (Nicole Levy – CNAM)
- La méthode B: preuve de programmes (Kesner – PPS Jussieu)
- La méthode B et la validation de la sécurité de METEOR (Gallardo – RATP)
- La méthode B (Marie-LAure Potet, Didier Bert – VERIMAG)
- La méthode B et l’ingénierie système (Didier Essamé – Siemens Transportation Systems)
- Vérification et validation d’interfaces multimodales, utilisation de la méthode B évènementiel (ENSMA)
- La méthode formelle B: génération de code (Dorian Petit – INRETS)