Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

  • Shengchao Qin
  • Zongyan Qiu
Conference proceedings ICFEM 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Formal Models

    1. Narges Khakpour, Marjan Sirjani, Ursula Goltz
      Pages 16-32
    2. Islam Abdelhalim, Steve Schneider, Helen Treharne
      Pages 33-48
    3. Frank Zeyda, Ana Cavalcanti, Andy Wellings
      Pages 49-65
    4. Dapeng Mo, Xiaobing Wang, Zhenhua Duan
      Pages 82-97
  4. Model Checking and Probability

    1. Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong
      Pages 98-114
    2. Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu
      Pages 115-130
    3. Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li
      Pages 147-162
  5. Specification and Development

    1. Fauziah binti Zainuddin, Shaoying Liu
      Pages 163-178
    2. Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle
      Pages 179-194
    3. Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
      Pages 195-210
    4. Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
      Pages 211-226
  6. Security

    1. David Power, Mark Slaymaker, Andrew Simpson
      Pages 227-242
    2. Nafees Qamar, Yves Ledru, Akram Idani
      Pages 259-274

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.


automated reasoning constraint solving higher-order-logic probabilistic analysis timed automata

Editors and affiliations

  • Shengchao Qin
    • 1
  • Zongyan Qiu
    • 2
  1. 1.School of ComputingTeesside UniversityUK
  2. 2.LMAM and Department of Informatics, School of Mathematical Sciences,Peking UniversityChina

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24558-9
  • Online ISBN 978-3-642-24559-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book