FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

  • John Fitzgerald
  • Constance Heitmeyer
  • Stefania Gnesi
  • Anna Philippou

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9995)

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Invited Presentations

    1. Front Matter
      Pages 1-1
  3. Research Track

    1. Front Matter
      Pages 23-23
    2. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep
      Pages 25-42
    3. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
      Pages 43-59
    4. Lacramioara Aştefănoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
      Pages 60-68
    5. Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz et al.
      Pages 69-84
    6. Nikola Beneš, Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek
      Pages 85-101
    7. Saksham Chand, Yanhong A. Liu, Scott D. Stoller
      Pages 119-136
    8. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
      Pages 137-154
    9. Yuqi Chen, Christopher M. Poskitt, Jun Sun
      Pages 155-163
    10. Alessandro Cimatti, Sergio Mover, Mirko Sessa
      Pages 164-181
    11. Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
      Pages 182-198
    12. Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
      Pages 199-216
    13. Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski
      Pages 217-234
    14. Adel Djoudi, Sébastien Bardin, Éric Goubault
      Pages 235-253
    15. Dimitra Giannakopoulou, Dennis Guck, Johann Schumann
      Pages 274-290

About these proceedings


This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The  broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.


dynamic analysis hybrid systems model checking software analysis specification and verification abstraction automated static analysis code generation combinatorial testing coq dynamical systems formal methods formal verification industrial application of formal methods logic model-based testing rule-based modeling simulation symbolic execution timed automata

Editors and affiliations

  • John Fitzgerald
    • 1
  • Constance Heitmeyer
    • 2
  • Stefania Gnesi
    • 3
  • Anna Philippou
    • 4
  1. 1.Newcastle UniversityNewcastle upon TyneUnited Kingdom
  2. 2.US Naval Research LaboratoryWashingtonUSA
  3. 3.ISTI-CNRPisaItaly
  4. 4.University of CyprusNicosiaCyprus

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-48988-9
  • Online ISBN 978-3-319-48989-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book