© 2014

Formal Methods for Industrial Critical Systems

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

  • Frédéric Lang
  • Francesco Flammini
Conference proceedings FMICS 2014

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

Table of contents

  1. Front Matter
  2. Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
    Pages 33-47
  3. Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
    Pages 48-62
  4. Lars Lockefeer, David M. Williams, Wan J. Fokkink
    Pages 63-77
  5. Paul Fiterău-Broştean, Ramon Janssen, Frits Vaandrager
    Pages 78-93
  6. Andrea Bonacchi, Alessandro Fantechi
    Pages 94-108
  7. Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari
    Pages 109-123
  8. Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
    Pages 124-139
  9. Sandrine Blazy, David Bühler, Boris Yakobowski
    Pages 140-154
  10. Christian Ellen, Sven Sieverding, Hardi Hungar
    Pages 155-169
  11. Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
    Pages 170-184
  12. Back Matter

About these proceedings


This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.


cyber-physical systems distributed systems embedded systems formal methods industrial applications model checking real-time systems scalability software development software functional properties software tools software verification and validation usability validation verification

Editors and affiliations

  • Frédéric Lang
    • 1
  • Francesco Flammini
    • 2
  1. 1.InriaMontbonnotFrance
  2. 2.Ansaldo STSNaplesItaly

Bibliographic information