Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II - Platzer, Andre; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo (Springer Nature, 2025)
Keywords: 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