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

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...