Skip to main content

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

  • Conference proceedings
  • Open Access
  • © 2025

You have full access to this open access Conference proceedings

Overview

  • This book is open access, which means that you have free and unlimited access

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

Included in the following conference series:

Conference proceedings info: FM 2024.

Buy print copy

Softcover Book USD 49.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

About this book

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. 

The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:

Part I: Invited papers; fundamentals of formal verification;  foundations; learn and repair; programming languages.- logic and automata; 

Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers. 

 

 

 

 

Keywords

Table of contents (34 papers)

  1. Invited Papers

  2. Fundamentals of Formal Verification

  3. Foundations

  4. Learn and Repair

Other volumes

  1. Formal Methods

  2. Formal Methods

Editors and Affiliations

  • Karlsruhe Institute of Technology, Karlsruhe, Germany

    André Platzer

  • Iowa State University, Ames, USA

    Kristin Yvonne Rozier

  • Politecnico di Milano, Milan, Italy

    Matteo Pradella, Matteo Rossi

Bibliographic Information

Publish with us