Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2020

Formal Methods and Software Engineering

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

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)

Conference series link(s): ICFEM: International Conference on Formal Engineering Methods

Conference proceedings info: ICFEM 2020.

Sections

Buy it now

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

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

Table of contents (21 papers)

  1. Front Matter

    Pages i-xi
    PDF

  2. Safety and Security

    1. Front Matter

      Pages 1-1
      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
      PDF

    2. Verification of Programs with Pointers in SPARK

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

    5. Parallel Chopped Symbolic Execution

      • Shikhar Singh, Sarfraz Khurshid
      Pages 107-125

  4. Formal Methods and Machine Learning

    1. Front Matter

      Pages 127-127
      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
      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
      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

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation