Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Yi Li

    1. Nanyang Technological University, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sofiène Tahar

    1. Concordia University, Montreal, Canada

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

Included in the following conference series:

Conference proceedings info: ICFEM 2023.

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 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.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 (23 papers)

  1. Front Matter

    Pages i-xxviii
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Verifying Compiler Optimisations

      • Ian J. Hayes, Mark Utting, Brae J. Webb
      Pages 3-8

  3. Regular Papers

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. An Idealist’s Approach for Smart Contract Correctness

      • Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le
      Pages 11-28

    3. Active Inference of EFSMs Without Reset

      • Michael Foster, Roland Groz, Catherine Oriat, Adenilso Simao, Germán Vega, Neil Walkinshaw
      Pages 29-46

    4. Learning Mealy Machines with Local Timers

      • Paul Kogel, Verena Klös, Sabine Glesner
      Pages 47-64

    5. Compositional Vulnerability Detection with Insecurity Separation Logic

      • Toby Murray, Pengbo Yan, Gidon Ernst
      Pages 65-82

    6. Dynamic Extrapolation in Extended Timed Automata

      • Nicolaj Ø. Jensen, Peter G. Jensen, Kim G. Larsen
      Pages 83-99

    7. Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models

      • Zhongkui Ma, Xinguo Feng, Zihan Wang, Shuofeng Liu, Mengyao Ma, Hao Guan et al.
      Pages 100-117

    8. Trace Models of Concurrent Valuation Algebras

      • Naso Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes
      Pages 118-136

    9. Branch and Bound for Sigmoid-Like Neural Network Verification

      • Xiaoyong Xue, Meng Sun
      Pages 137-155

    10. Certifying Sequential Consistency of Machine Learning Accelerators

      • Huan Wu, Fei Xie, Zhenkun Yang
      Pages 156-171

    11. Guided Integration of Formal Verification in Assurance Cases

      • Irfan Sljivo, Ewen Denney, Jonathan Menzies
      Pages 172-190

    12. Validation-Driven Development

      • Sebastian Stock, Atif Mashkoor, Alexander Egyed
      Pages 191-207

    13. Incremental Property Directed Reachability

      • Max Blankestijn, Alfons Laarman
      Pages 208-227

    14. Proving Local Invariants in ASTDs

      • Quelen Cartellier, Marc Frappier, Amel Mammar
      Pages 228-246

  4. Doctoral Symposium Papers

    1. Front Matter

      Pages 247-247
      Download chapter PDF

    2. Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol

      • Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
      Pages 249-254

    3. Early and Systematic Validation of Formal Models

      • Sebastian Stock
      Pages 255-260
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

About this book

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.

The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

Editors and Affiliations

  • Nanyang Technological University, Singapore, Singapore

    Yi Li

  • Concordia University, Montreal, Canada

    Sofiène Tahar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation