Formal Methods

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

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi (Herausgeber)

Buch | Softcover

XXII, 680 Seiten

2024 | 2025
Springer International Publishing (Verlag)
978-3-031-71161-9 (ISBN)

Artikel merken

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.

Erscheinungsdatum	11.09.2024
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXII, 680 p. 166 illus., 113 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	architecture verification and validation • Artificial Intelligence • computational complexity and cryptography • design and analysis of algorithms • Embedded Systems • formal languages and automata theory • Formal Logic • formal methods • machine learning • Model Checking • Models of Computation • open access • semantics and reasoning • Software engineering • Theory and algorithms for application domains
ISBN-10	3-031-71161-0 / 3031711610
ISBN-13	978-3-031-71161-9 / 9783031711619
Zustand	Neuware