Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Materialtyp:
ArtikelSerie: Utgivningsinformation: Cham Springer Nature Springer Nature Switzerland [Imprint] 2024Beskrivning: 1 electronic resource (652 p.)Innehållstyp: - text
- computer
- online resource
- 9783031711763
- 9783031711770
- U Computing and Information Technology
- UK Computer hardware
- UM Computer programming
- UMX Programming and scripting languages
- UMZ Software Engineering
- UY Computer science
- UYA Mathematical theory of computation
- UYQ Artificial intelligence
- UYQE Expert systems
- UYQL Natural language and machine translation
- 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
- general
- knowledge-based systems
- machine learning
- model checking
- models of computation
- semantics and reasoning
- software engineering
- thema EDItEUR
- theory and algorithms for application domains
Open Access Unrestricted online access star
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.
Accessibility options of PDF file not available
Creative Commons Licence cc by cc http://creativecommons.org/licenses/by/4.0/
eng
Freely available e-book