Skip to main content
SpringerLink
Log in
Book cover

Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Yamine Ait-Ameur

    1. IRIT/INPT - ENSEEIHT, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Shengchao Qin

    1. Teesside University, Middlesbrough, UK

    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 11852)

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

Included in the following conference series:

Conference proceedings info: ICFEM 2019.

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-xxi
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems

      • Yang Liu, Lei Ma, Jianjun Zhao
      Pages 3-15

  3. Regular Papers

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Using DimSpec for Bounded and Unbounded Software Model Checking

      • Marko Kleine Büning, Tomáš Balyo, Carsten Sinz
      Pages 19-35

    3. SMTBCF: Efficient Backbone Computing for SMT Formulas

      • Yueling Zhang, Geguang Pu, Min Zhang
      Pages 36-51

    4. Automatic Verification for Node-Based Visual Script Notation Using Model Checking

      • Isamu Hasegawa, Tomoyuki Yokogawa
      Pages 52-68

    5. A Reo Model of Software Defined Networks

      • Hui Feng, Farhad Arbab, Marcello Bonsangue
      Pages 69-85

    6. Design of Point-and-Click User Interfaces for Proof Assistants

      • Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun
      Pages 86-103

    7. SqlSol: An accurate SQL Query Synthesizer

      • Lin Cheng
      Pages 104-120

    8. Towards Verifying Ethereum Smart Contracts at Intermediate Language Level

      • Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han
      Pages 121-137

    9. Simulations for Multi-Agent Systems with Imperfect Information

      • Patrick Gardy, Yuxin Deng
      Pages 138-153

    10. On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

      • Leandro Gomes, Alexandre Madeira, Manisha Jain, Luis S. Barbosa
      Pages 154-169

    11. A Security Calculus for Wireless Networks of Named Data Networking

      • Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
      Pages 170-185

    12. Automatic Modularization of Large Programs for Bounded Model Checking

      • Marko Kleine Büning, Carsten Sinz
      Pages 186-202

    13. PDNet: A Programming Language for Software-Defined Networks with VLAN

      • Shuangqing Xiang, Marcello Bonsangue, Huibiao Zhu
      Pages 203-218

    14. Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines

      • Klaus-Dieter Schewe
      Pages 219-235

    15. Probably Approximate Safety Verification of Hybrid Dynamical Systems

      • Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
      Pages 236-252

    16. A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams

      • Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
      Pages 253-269

    17. Reasoning About Universal Cubes in MCMT

      • Sylvain Conchon, Mattias Roux
      Pages 270-285
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

About this book

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. 

Editors and Affiliations

  • IRIT/INPT - ENSEEIHT, Toulouse, France

    Yamine Ait-Ameur

  • Teesside University, Middlesbrough, UK

    Shengchao Qin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation