Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Shang-Wei Lin

    1. Nanyang Technological University, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhe Hou

    1. School of Information and Communication Technology, Griffith University, Nathan Campus, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Brendan Mahony

    1. Defence Science and Technology Group, Denver, USA

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

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

Included in the following conference series:

Conference proceedings info: ICFEM 2020.

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 (21 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Safety and Security

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

      • Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
      Pages 3-19

    3. Robustness and Failure Detection in Epistemic Gossip Protocols

      • Kosei Fujishiro, Koji Hasebe
      Pages 20-35

    4. Reasoning with Failures

      • Hamid Jahanian, Annabelle McIver
      Pages 36-52

  3. Program Verification

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Verification of Programs with Pointers in SPARK

      • Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
      Pages 55-72

    3. Automated Temporal Verification of Integrated Dependent Effects

      • Yahui Song, Wei-Ngan Chin
      Pages 73-90

    4. A Reversible Operational Semantics for Imperative Programming Languages

      • Maribel Fernández, Ian Mackie
      Pages 91-106

    5. Parallel Chopped Symbolic Execution

      • Shikhar Singh, Sarfraz Khurshid
      Pages 107-125

  4. Formal Methods and Machine Learning

    1. Front Matter

      Pages 127-127
      Download chapter PDF

    2. PAC Learning of Deterministic One-Clock Timed Automata

      • Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan
      Pages 129-146

    3. Learning Fault Models of Cyber Physical Systems

      • Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay
      Pages 147-162

    4. VARF: Verifying and Analyzing Robustness of Random Forests

      • Chaoqun Nie, Jianqi Shi, Yanhong Huang
      Pages 163-178

  5. Formal Languages

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. Type-Based Declassification for Free

      • Minh Ngo, David A. Naumann, Tamara Rezk
      Pages 181-197

    3. Four-Valued Monitorability of \(\omega \)-Regular Languages

      • Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu
      Pages 198-214

  6. Other Applications of Formal Methods

    1. Front Matter

      Pages 215-215
      Download chapter PDF

    2. Formally Verified Trades in Financial Markets

      • Suneel Sarswat, Abhishek Kr Singh
      Pages 217-232

    3. Formalizing the Transaction Flow Process of Hyperledger Fabric

      • Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan
      Pages 233-250
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

About this book

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Editors and Affiliations

  • Nanyang Technological University, Singapore, Singapore

    Shang-Wei Lin

  • School of Information and Communication Technology, Griffith University, Nathan Campus, Australia

    Zhe Hou

  • Defence Science and Technology Group, Denver, USA

    Brendan Mahony

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation