ABZ 2014: The Landing Gear Case Study

Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

  • Frédéric Boniol
  • Virginie Wiels
  • Yamine Ait Ameur
  • Klaus-Dieter Schewe
Conference proceedings ABZ 2014
Part of the Communications in Computer and Information Science book series (CCIS, volume 433)

Table of contents

  1. Front Matter
  2. Frédéric Boniol, Virginie Wiels
    Pages 1-18
  3. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
    Pages 36-51
  4. Philippe Dhaussy, Ciprian Teodorov
    Pages 52-65
  5. Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
    Pages 66-79
  6. Amel Mammar, Régine Laleau
    Pages 80-94
  7. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
    Pages 95-109
  8. Bernard Berthomieu, Silvano Dal Zilio, Łukasz Fronc
    Pages 110-125
  9. Richard Banach
    Pages 126-141
  10. Vitaly Savicks, Michael Butler, John Colley
    Pages 148-153
  11. Dominique Méry, Neeraj Kumar Singh
    Pages 154-159
  12. Back Matter

Other volumes

  1. ABZ 2014: The Landing Gear Case Study
    Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
  2. 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

About these proceedings

Introduction

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Keywords

ASM B Event-B Fiacre abstract machines abstract state machines aerospace formal languages formal methods landing gear system model checking modeling models of computation proof theory requirements analysis runtime monitoring simulation software functional properties test generation verification

Editors and affiliations

  • Frédéric Boniol
    • 1
  • Virginie Wiels
    • 2
  • Yamine Ait Ameur
    • 3
  • Klaus-Dieter Schewe
    • 4
  1. 1.ONERA/DTIMToulouseFrance
  2. 2.ONERAToulouseFrance
  3. 3.INP-ENSEEIHT/IRITToulouseFrance
  4. 4.Software Competence Center HagenbergHagenbergAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-07512-9
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-07511-2
  • Online ISBN 978-3-319-07512-9
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • About this book