Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Jing Sun

    1. University of Auckland, Auckland, New Zealand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Meng Sun

    1. Peking University, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICFEM 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-XXII
    Download chapter PDF

  2. Invited Keynote Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Engineering a Theory of Concurrent Programming

      • Ian J. Hayes
      Pages 3-18

  3. Formal Models

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. Behaviour-Driven Formal Model Development

      • Colin Snook, Thai Son Hoang, Dana Dghyam, Michael Butler, Tomas Fischer, Rupert Schlick et al.
      Pages 21-36

    3. The Foul Adversary: Formal Models

      • Naipeng Dong, Tim Muller
      Pages 37-53

    4. The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System

      • Teck Ping Khoo, Jun Sun
      Pages 54-69

    5. PAR: A Practicable Formal Method and Its Supporting Platform

      • Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
      Pages 70-86

  4. Verification

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X

      • Timm Liebrenz, Paula Herber, Sabine Glesner
      Pages 89-105

    3. Verification of Strong Nash-equilibrium for Probabilistic BAR Systems

      • Dileepa Fernando, Naipeng Dong, Cyrille Jegourel, Jin Song Dong
      Pages 106-123

    4. Model Checking of C++ Programs Under the x86-TSO Memory Model

      • Vladimír Å till, Jiří Barnat
      Pages 124-140

  5. Network Systems

    1. Front Matter

      Pages 141-141
      Download chapter PDF

    2. Modeling and Verifying NDN Access Control Using CSP

      • Yuan Fei, Huibiao Zhu
      Pages 143-159

    3. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

      • Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
      Pages 160-176

    4. CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

      • Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun
      Pages 177-193

  6. Type Theory

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Strongly Typed Numerical Computations

      • Matthieu Martel
      Pages 197-214

    3. Type Capabilities for Object-Oriented Programming Languages

      • Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
      Pages 215-230

    4. Capabilities: Effects for Free

      • Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich
      Pages 231-247
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

About this book

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.

Editors and Affiliations

  • University of Auckland, Auckland, New Zealand

    Jing Sun

  • Peking University, Beijing, China

    Meng Sun

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation