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
Conference proceedings ICFEM 2012

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
    2. Meng Han, Zhenhua Duan, Xiaobing Wang
      Pages 266-282
  9. Abstraction and Refinement

    1. Yohan Boichut, Benoit Boyer, Thomas Genet, Axel Legay
      Pages 299-315
    2. Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
      Pages 316-331
    3. Daniel Wonisch, Heike Wehrheim
      Pages 332-347
    4. Nils Timm, Heike Wehrheim, Mike Czech
      Pages 348-363
    5. Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang et al.
      Pages 364-380
  10. Tools

    1. Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho
      Pages 381-397
    2. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
      Pages 398-413
    3. Svetoslav Ganov, Sarfraz Khurshid, Dewayne E. Perry
      Pages 414-429
    4. Alberto Lluch Lafuente, José Meseguer, Andrea Vandin
      Pages 430-446
  11. Testing and Runtime Verification

    1. Tanmoy Sarkar, Samik Basu, Johnny S. Wong
      Pages 462-477
    2. Scott West, Sebastian Nanz, Bertrand Meyer
      Pages 478-493
    3. Jan Olaf Blech, Yliès Falcone, Klaus Becker
      Pages 494-509
  12. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-642-34280-6
  • Online ISBN 978-3-642-34281-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment