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
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
- architecture verification and validation
- artificial intelligence
- design and analysis of algorithms
- computational complexity and cryptography
- embedded systems
- model checking
- formal methods
- formal logic
- machine learning
- formal languages and automata theory
- models of computation
- semantics and reasoning
- software engineering
- theory and algorithms for application domains
- Open Access
Table of contents (34 papers)
-
Front Matter
-
Invited Papers
-
Front Matter
-
-
Fundamentals of Formal Verification
-
Front Matter
-
-
Foundations
-
Front Matter
-
Other volumes
-
Formal Methods
-
Formal Methods
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods
Book Subtitle: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Editors: André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-71162-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2025
Softcover ISBN: 978-3-031-71161-9Published: 11 September 2024
eBook ISBN: 978-3-031-71162-6Published: 10 September 2024
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXII, 680
Number of Illustrations: 53 b/w illustrations, 113 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Special Purpose and Application-Based Systems, Professional Computing, Control Structures and Microprogramming, Natural Language Processing (NLP)