Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

  • Shaoying Liu
  • Tom Maibaum
  • Keijiro Araki
Conference proceedings ICFEM 2008

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Specification and Verification

    1. Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang
      Pages 5-24
    2. Kriangsak Damchoom, Michael Butler, Jean-Raymond Abrial
      Pages 25-44
  4. Testing

    1. Ajitha Rajan, Michael Whalen, Matt Staats, Mats P. E. Heimdahl
      Pages 86-104
  5. Verification 1

    1. Björn Metzler, Heike Wehrheim, Daniel Wonisch
      Pages 105-125
    2. Florin Craciun, Shengchao Qin, Wei-Ngan Chin
      Pages 126-146
    3. Marieke Huisman, Irem Aktug, Dilian Gurov
      Pages 147-166
  6. Model Checking and Analysis

    1. Nazareno M. Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
      Pages 207-225
  7. Verification 2

  8. Tools

    1. Michael Leuschel, Marc Fontaine
      Pages 278-297
    2. Carlo A. Furia, Matteo Pradella, Matteo Rossi
      Pages 298-317
  9. Application of Formal Methods

    1. Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang
      Pages 318-337
    2. Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang
      Pages 338-354
  10. Semantics

    1. Peter Y. H. Wong, Jeremy Gibbons
      Pages 355-374
    2. Lijun Shan, Hong Zhu
      Pages 375-396
  11. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.

The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.


certification csp formal methods formal software development formal specification model checking programming paradigms security sensor networks software engineering theorem proving uml verification

Editors and affiliations

  • Shaoying Liu
    • 1
  • Tom Maibaum
    • 2
  • Keijiro Araki
    • 3
  1. 1.Faculty of Computer and Information SciencesHosei UniversityTokoyJapan
  2. 2.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  3. 3.Department of Computer Science and Communication Engineering, , Graduate School of Information Science and Electrical EngineeringKyushu UniversityHigashi-kuJapan

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-88193-3
  • Online ISBN 978-3-540-88194-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site