B’98: Recent Advances in the Development and Use of the B Method

Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

Editors:

ISBN: 978-3-540-64405-7 (Print) 978-3-540-69769-5 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-8

    On B

  3. No Access

    Book Chapter

    Pages 9-25

    The generalised substitution language extended to probabilistic programs

  4. No Access

    Book Chapter

    Pages 26-26

    MéTéOR: An industrial success in formal development

  5. No Access

    Book Chapter

    Pages 27-28

    Cost effectiveness of formal methods in the development of avionics systems at Aérospatiale

  6. No Access

    Book Chapter

    Pages 29-45

    Well defined B

  7. No Access

    Book Chapter

    Pages 46-65

    Composition and refinement in the B-method

  8. No Access

    Book Chapter

    Pages 66-82

    Formalisation of B in Isabelle/HOL

  9. No Access

    Book Chapter

    Pages 83-128

    Introducing dynamic constraints in B

  10. No Access

    Book Chapter

    Pages 129-147

    Retrenchment: An engineering variation on refinement

  11. No Access

    Book Chapter

    Pages 148-161

    Synthesising structure from flat specifications

  12. No Access

    Book Chapter

    Pages 162-181

    An object-based approach to the B formal method

  13. No Access

    Book Chapter

    Pages 182-197

    Graphical design of reactive systems

  14. No Access

    Book Chapter

    Pages 198-209

    Process control engineering: Contribution to a formal structuring framework with the B method

  15. No Access

    Book Chapter

    Pages 210-225

    Designing a B model for safety-critical software systems

  16. No Access

    Book Chapter

    Pages 226-242

    Abstract state machines: Designing distributed systems with state machines and B

  17. No Access

    Book Chapter

    Pages 243-260

    Layering distributed algorithms within the B-method

  18. No Access

    Book Chapter

    Pages 261-272

    Two strategies to data-refine an equivalence to a forest

  19. No Access

    Book Chapter

    Pages 273-292

    Specification of an integrated circuit card protocol application using the B method and linear temporal logic

  20. No Access

    Book Chapter

    Pages 293-311

    Test case preparation using a prototype

  21. Back Matter

    Pages -