Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

  • Stephan Merz
  • Jun Pang

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

Table of contents

  1. Li Li, Jun Sun, Yang Liu, Jin Song Dong
    Pages 300-315
  2. Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
    Pages 316-331
  3. Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
    Pages 332-347
  4. Su Liu, Reng Zeng, Zhuo Sun, Xudong He
    Pages 348-363
  5. Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
    Pages 364-379
  6. Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze et al.
    Pages 380-395
  7. Zhimin Wu, Yang Liu, Yun Liang, Jun Sun
    Pages 413-429
  8. Gaogao Yan, Xue-Yang Zhu, Rongjie Yan, Guangyuan Li
    Pages 430-445
  9. Nan Zhang, Zhenhua Duan, Cong Tian
    Pages 446-458
  10. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.


concurrernt systems formal approaches to software testing formal methods formal methods and theory of security formal methods in biology and healthcare logic and verification model checking semantics and reasoning software certification software design and verification software reliability software safety specification languages symbolic computations system modeling

Editors and affiliations

  • Stephan Merz
    • 1
  • Jun Pang
    • 2
  1. 1.Inria Nancy - Grand EstVillers-lès-NancyFrance
  2. 2.Université du LuxembourgLuxembourgLuxembourg

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11736-2
  • Online ISBN 978-3-319-11737-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site