Formal methods Part 2
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 fro...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2025
|
| Schriftenreihe: | Lecture notes in computer science
14934 |
| Schlagworte: |
COMPUTERS / Expert Systems
> COMPUTERS / Hardware / General
> COMPUTERS / Machine Theory
> COMPUTERS / Natural Language Processing
> COMPUTERS / Programming / Software Development
> COMPUTERS / Programming Languages / General
> Computer hardware
> Computerhardware
> Expert systems / knowledge-based systems
> Mathematical theory of computation
> Natural language & machine translation
> Natürliche Sprachen und maschinelle Übersetzung
> Programmier- und Skriptsprachen, allgemein
> Programming & scripting languages: general
> Software Engineering
> Theoretische Informatik
> Wissensbasierte Systeme, Expertensysteme
> Konferenzschrift
|
| Online Zugang: | Cover |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| 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 |
|---|---|
| Beschreibung: | Literaturangaben |
| Beschreibung: | xxii, 652 Seiten Diagramme |
| ISBN: | 9783031711763 978-3-031-71176-3 |