© 2018

Formal Methods and Software Engineering

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

  • Jing Sun
  • Meng Sun
Conference proceedings ICFEM 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11232)

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Invited Keynote Paper

    1. Front Matter
      Pages 1-1
  3. Formal Models

    1. Front Matter
      Pages 19-19
    2. Colin Snook, Thai Son Hoang, Dana Dghyam, Michael Butler, Tomas Fischer, Rupert Schlick et al.
      Pages 21-36
    3. Naipeng Dong, Tim Muller
      Pages 37-53
    4. Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
      Pages 70-86
  4. Verification

    1. Front Matter
      Pages 87-87
    2. Timm Liebrenz, Paula Herber, Sabine Glesner
      Pages 89-105
    3. Dileepa Fernando, Naipeng Dong, Cyrille Jegourel, Jin Song Dong
      Pages 106-123
    4. Vladimír Štill, Jiří Barnat
      Pages 124-140
  5. Network Systems

    1. Front Matter
      Pages 141-141
    2. Yuan Fei, Huibiao Zhu
      Pages 143-159
    3. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
      Pages 160-176
    4. Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun
      Pages 177-193
  6. Type Theory

    1. Front Matter
      Pages 195-195
    2. Matthieu Martel
      Pages 197-214
    3. Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
      Pages 215-230
    4. Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich
      Pages 231-247

About these proceedings


This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. 
The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. 
The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.


artificial intelligence data security event-b formal logic formal methods formal verifications program compilers programming languages semantics software engineering software evaluation theorem proving verification

Editors and affiliations

  • Jing Sun
    • 1
  • Meng Sun
    • 2
  1. 1.University of AucklandAucklandNew Zealand
  2. 2.Peking UniversityBeijingChina

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment