B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings

  • Jacques Julliand
  • Olga Kouchnarenko
Conference proceedings B 2007

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Steve Dunne
      Pages 19-33
    2. Wilson Ifill, Steve Schneider, Helen Treharne
      Pages 34-48
    3. Stefan Hallerstede
      Pages 49-63
    4. Michael Leuschel, Michael Butler, Corinna Spermann, Edd Turner
      Pages 79-93
    5. Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti
      Pages 94-108
    6. Julien Groslambert
      Pages 109-124
    7. Edward Chan, Ken Robinson, Brett Welch
      Pages 125-139
    8. Dominique Cansell, Dominique Méry, Joris Rehm
      Pages 140-154
    9. Bill Stoddart, Dominique Cansell, Frank Zeyda
      Pages 155-170
    10. Colin Snook, Marina Waldén
      Pages 171-185
    11. Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
      Pages 186-200
    12. Frédéric Gervais, Marc Frappier, Régine Laleau
      Pages 201-215
    13. Nicolas Stouls, Marie-Laure Potet
      Pages 216-231
    14. Nazim Benaïssa, Dominique Cansell, Dominique Méry
      Pages 232-247
  4. Industrial Papers

    1. Didier Essamé, Daniel Dollé
      Pages 252-254
    2. Mathieu Clabaut
      Pages 255-256
    3. Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy
      Pages 257-259
    4. Neil Evans, Wilson Ifill
      Pages 260-261
  5. Tool Papers

    1. Jens Bendisposto, Michael Leuschel
      Pages 266-269
    2. Jens Bendisposto, Michael Leuschel
      Pages 270-273
    3. Eddie Jaffuel, Bruno Legeard
      Pages 277-280
    4. Amal Haddad
      Pages 281-284
    5. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
      Pages 285-288
  6. Invited Talk

    1. Joseph M. Morris
      Pages 289-292
  7. Back Matter

About these proceedings


TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, held at the University of Montpellier, France; ZB 2000, held at the University of York, UK; ZB 2002, held at the University of Grenoble, France; ZB 2003, held at the U- versity of Turku, Finland; ZB 2005 held at the University of Surrey, Guildford, UK. B 2007 was held in January at the University of Franche-Comt´ e,Besan¸ con, France, hosted by the Computer Science Department (LIFC). LIFC has always placed particular emphasis on the applicability of its research and its relati- ship with industrial partners. In this context, it created in 2003 a company called LEIRIOS Technologies, which produces an automatic test generator tool (LTG) frommodels described in the B speci?cationlanguage. Other members of LIFC work on extensions of the B method for specifying and verifying dynamic properties. All the submitted papers in these proceedings were peer reviewed by at least three reviewers drawn from the B committee, depending on the subject matter of the paper. The authorsof the papersforB 2007werefrom Australia,Canada, Finland, Germany, France, Switzerland, and the UK. The conference featured a rangeof contributions by distinguished invited speakers drawn from both ind- try and academia.


Animation B method C# Eclipse Java Unified Modeling Language (UML) data structure formal software development formal specification formal verification model checkimg program analysis program development system modeling systems

Editors and affiliations

  • Jacques Julliand
    • 1
  • Olga Kouchnarenko
    • 2
  1. 1.LIFCUniversité de Franche-ComtéBesançon CedexFrance
  2. 2.LIFC – TFC TeamBesançon

Bibliographic information

Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment