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

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

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783031711770
• Extent: Online-Ressource, XXII, 652 p. 193 illus., 170 illus. in color.
• Edition: 1st ed. 2025
• Language: Englisch
• Notes: online resource.

References and Relationships

• Bibliographic citation: Lecture Notes in Computer Science ; 14934

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Cham
• (who): Springer Nature Switzerland, Imprint: Springer
• (when): 2025
• Contributor: Platzer, André ; Rozier, Kristin Yvonne ; Pradella, Matteo ; Rossi, Matteo ; SpringerLink (Online service)

Further information

• DOI: 10.1007/978-3-031-71177-0
• URN: urn:nbn:de:101:1-2409130406472.093997691101
• Rights: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 15.08.2025, 7:33 AM CEST