Formal Methods Applied to Complex Systems : Implementation of the B Method

Click to enlarge

Author(s):	Boulanger, Jean-Louis
ISBN No.:	9781848217096
Pages:	496
Year:	201409
Format:	Trade Cloth (Hard Cover)
Price:	$ 311.81
Dispatch delay:	Dispatched between 7 to 15 days
Status:	Available

Qty: Add to Cart

Synopsis
Table of contents
Full Details

1. Presentation of the B Method, Jean-Louis Boulanger. 2. Atelier B, Thierry Lecomte. 3. B Tools, Jean-Louis Boulanger. 4. The B Method at Siemens, Daniel Dolle.

5. Industrial Applications for Modeling with the B Method, Thierry Lecomte. 6. Formalization of Digital Circuits Using the B Method, Jean-Louis Boulanger. 7. Pragmatic Use of B: The Power of Formal Methods without the Bulk, Christophe Metayer, François Bustany, Mathieu Clabaut. 8. BRILLANT/BCaml--AFreeTools Platform for the B Method, Samuel Colin, Dorian Petit.

9. Translating B and Event-B Machines to Java and JML, Néstor Catano, Víctor Rivera, Camilo Rueday and Tim Wahlsz. 10. Event B, Dominique Méry, Neeraj Kumar Singh. 11. B-RAIL: UML to B Transformation in Modeling a Level Crossing, Jean-Louis Boulanger. 12. Feasibility of the Use of Formal Methods for Manufacturing Systems, Pascal Lamy, Philippe Charpentier, Jean-François Petinand Dominique Evrot.

13. B Extended to Floating-Point Numbers: Is It Sufficient for Proving Avionics Software?, Jean-Louis Dufour. 14. From Animation to Data Validation: The ProB Constraint Solver 10 Years On, Michael Leuschel, Jens Bendisposto,Ivo Dobrikov, Sebastian Krings, Daniel Plagge. 15. Unified Train Driving Policy, Alexei Iliasov,Ilya Lopatkin, Alexander Romanovsky.

To be able to view the table of contents for this publication then please subscribe by clicking the button below...

To be able to view the full description for this publication then please subscribe by clicking the button below...