The B Language and Method

A Guide to Practical Formal Development

  • Kevin┬áLano

Table of contents

  1. Front Matter
    Pages i-viii
  2. Kevin Lano
    Pages 1-14
  3. Kevin Lano
    Pages 15-76
  4. Kevin Lano
    Pages 77-123
  5. Kevin Lano
    Pages 124-156
  6. Kevin Lano
    Pages 157-194
  7. Kevin Lano
    Pages 195-202
  8. Back Matter
    Pages 203-232

About this book


B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.


C programming language Mathematica design development formal methods formal specification language object-oriented analysis object-oriented analysis and design semantics software system development

Authors and affiliations

  • Kevin┬áLano
    • 1
  1. 1.Department of ComputingImperial College of Science, Technology and MedicineLondonUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment