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

• Main Authors: Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
• Format: eBook
• Language: English
• Published: Cham Springer Nature 2025; Springer
• Edition: 1
• Series: Lecture Notes in Computer Science
• Subjects: architecture verification and validation; Artificial intelligence; computational complexity and cryptography; Computer hardware; Computer programming / software engineering; Computer science; Computing and Information Technology; design and analysis of algorithms; embedded systems; Expert systems / knowledge-based systems; formal languages and automata theory; formal logic; formal methods; machine learning; Mathematical theory of computation; model checking; models of computation; Natural language and machine translation; Programming and scripting languages: general; semantics and reasoning; Software Engineering; theory and algorithms for application domains
• ISBN: 9783031711619; 9783031711626; 3031711629; 3031711610
• DOI: 10.1007/978-3-031-71162-6

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.