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.
Produkteigenschaften
- Artikelnummer: 9783031711619
- Medium: Buch
- ISBN: 978-3-031-71161-9
- Verlag: Springer Nature Switzerland
- Erscheinungstermin: 11.09.2024
- Sprache(n): Englisch
- Auflage: 2025
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert, Paperback
- Gewicht: 1048 g
- Seiten: 680
- Format (B x H x T): 155 x 235 x 38 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmier- und Skriptsprachen
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- Künstliche Intelligenz
- Wissensbasierte Systeme, Expertensysteme