Formal Methods and Software Engineering

14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

  • Toshiaki Aoki
  • Kenji Taguchi

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

Table of contents

  1. Front Matter
  2. Invited Speech

  3. Concurrency

    1. Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo
      Pages 5-21
    2. Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
      Pages 22-37
  4. Applications of Formal Methods to New Areas

    1. Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla et al.
      Pages 54-70
    2. Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
      Pages 71-86
  5. Quantity and Probability

    1. Chunyan Mu
      Pages 103-118
    2. Tarek Mhamdi, Osman Hasan, Sofiène Tahar
      Pages 119-134
    3. Mahsa Varshosaz, Ramtin Khosravi
      Pages 135-150
  6. Formal Verification

    1. Qiu Zongyan, Hong Ali, Liu Yijing
      Pages 151-166
    2. François Bobot, Jean-Christophe Filliâtre
      Pages 167-181
    3. William L. Harrison, Adam Procter, Gerard Allwein
      Pages 182-197
  7. Modeling and Development Methodology

    1. Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla
      Pages 198-213
    2. Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong
      Pages 214-229
    3. Wen Su, Jean-Raymond Abrial, Huibiao Zhu
      Pages 230-248
  8. Temporal Logics

    1. Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
      Pages 249-265

About these proceedings


This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.
The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.


concurrent systems distributed systems model checking specification optimization temporal logic

Editors and affiliations

  • Toshiaki Aoki
    • 1
  • Kenji Taguchi
    • 2
  1. 1.Japan Advanced Institute of Science and Technology (JAIST)NuomiJapan
  2. 2.National Institute of Advanced Industrial Science and Technology (AIST)AmagasakiJapan

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-34280-6
  • Online ISBN 978-3-642-34281-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment