Formal Methods

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

Thumbnail
Contributor(s)
Platzer, André (editor)
Rozier, Kristin Yvonne (editor)
Pradella, Matteo (editor)
Rossi, Matteo (editor)
Language
English
Show full item record
Abstract
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.
URI
https://library.oapen.org/handle/20.500.12657/93254
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
DOI
10.1007/978-3-031-71162-6
ISBN
9783031711626, 9783031711619, 9783031711626
Publisher
Springer Nature
Publisher website
https://www.springernature.com/gp/products/books
Publication date and place
Cham, 2025
Imprint
Springer Nature Switzerland
Series
Lecture Notes in Computer Science, 14933
Classification
Software Engineering
Mathematical theory of computation
Expert systems / knowledge-based systems
Programming and scripting languages: general
Computer hardware
Natural language and machine translation
Pages
680
Rights
http://creativecommons.org/licenses/by/4.0/