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
  7. Theorem Proving

    1. Front Matter
      Pages 249-249
    2. Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li
      Pages 270-283
    3. Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
      Pages 284-300
  8. Logic and Semantics

    1. Front Matter
      Pages 301-301
    2. Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner
      Pages 303-319
    3. Inna Vistbakka, Amin Majd, Elena Troubitsyna
      Pages 320-336
    4. Wanling Xie, Huibiao Zhu, Shengchao Qin
      Pages 337-353
  9. Refinement and Transition Systems

    1. Front Matter
      Pages 355-355
    2. Tsutomu Kobayashi, Fuyuki Ishikawa
      Pages 357-372
    3. Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick
      Pages 373-387
    4. Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang
      Pages 388-403
  10. Emerging Applications of Formal Methods

    1. Front Matter
      Pages 405-405
    2. Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan Mahony, Martin Oxenham
      Pages 407-411
    3. Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu
      Pages 412-416
  11. Doctoral Symposium

  12. Back Matter
    Pages 473-474

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