Kapak Resmi

Formal Methods

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

Ful tanımlama

Kaydedildi:
Materyal Türü: Online
Dil:İngilizce
Baskı/Yayın Bilgisi: Springer Nature 2024
Konular:
architecture verification and validation
artificial intelligence
design and analysis of algorithms
computational complexity and cryptography
embedded systems
model checking
formal methods
formal logic
machine learning
formal languages and automata theory
models of computation
semantics and reasoning
software engineering
theory and algorithms for application domains
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
thema EDItEUR::U Computing and Information Technology::UK Computer hardware
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
Online Erişim:ONIX_20240913_9783031711770_29
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Özet: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.

Benzer Materyaller