Skip to main content
SpringerLink
Log in

The B method and the B toolkit

  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1349))

Abstract

The B Method is a full spectrum formal software development method that covers the software process from specification to implementation. The method uses state machines, defined using logic and set theory with a notation similar to that of Z, that export operations. The method supports a notion of refinement and implementation, which is based on the notion of refinement in the refinement calculus with the exception that there is no distinction between procedural and data refinement. The B Toolkit is a configuration tool that manages developments under the B Method, generating proof obligations and supporting tools for the discharge of those proof obligations. There is also support for the generation of documentation, and for the browsing of developments.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.

    Google Scholar 

  2. B. Dehbonei and F Mejia. Applications of Formal Methods, chapter Formal Development of Safety-critical Software Systems, pages 227–252. Prentice Hall, 1995.

    Google Scholar 

  3. Edsgar W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.

    Google Scholar 

  4. C. B. Jones. Program specification and verification in VDM. Technical Report UMCS 86-10-5, University of Manchester, 1986.

    Google Scholar 

  5. C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, 2nd edition, 1990. ISBN 0-13-880733-7.

    Google Scholar 

  6. K. Lano. The B Language and Method — a guide to practical formal development. Springer-Verlag, 1996.

    Google Scholar 

  7. K. Lano and H. Haughton. Specification in B: an Introduction using the B-Toolkit. Imperial College Press, 1996.

    Google Scholar 

  8. Carroll Morgan. Programming from Specifications. International Series in Computer Science. Prentice-Hall, 1990.

    Google Scholar 

  9. C.C. Morgan and K.A. Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5):546–555, September 1987.

    Google Scholar 

  10. J.M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International, 2nd edition, 1992.

    Google Scholar 

  11. John B. Wordsworth. Software Engineering with the B-Method. Addison-Wesley, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, Australia

    Ken Robinson

  2. University of New South Wales, 2052, Sydney, NSW, Australia

    Ken Robinson

Authors
  1. Ken Robinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Johnson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Robinson, K. (1997). The B method and the B toolkit. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000503

Download citation

  • DOI: https://doi.org/10.1007/BFb0000503

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63888-9

  • Online ISBN: 978-3-540-69661-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation