Show simple item record

Formal Methods

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

dc.contributor.editorPlatzer, Andre
dc.contributor.editorRozier, Kristin Yvonne
dc.contributor.editorPradella, Matteo
dc.contributor.editorRossi, Matteo
dc.date.accessioned2025-03-08T01:34:06Z
dc.date.available2025-03-08T01:34:06Z
dc.date.issued2025
dc.date.submitted2024-09-13T12:59:15Z
dc.identifierONIX_20240913_9783031711770_29
dc.identifierhttps://library.oapen.org/handle/20.500.12657/93255
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/174463
dc.description.abstractThe 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.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.rightsopen access
dc.subject.otherarchitecture verification and validation
dc.subject.otherartificial intelligence
dc.subject.otherdesign and analysis of algorithms
dc.subject.othercomputational complexity and cryptography
dc.subject.otherembedded systems
dc.subject.othermodel checking
dc.subject.otherformal methods
dc.subject.otherformal logic
dc.subject.othermachine learning
dc.subject.otherformal languages and automata theory
dc.subject.othermodels of computation
dc.subject.othersemantics and reasoning
dc.subject.othersoftware engineering
dc.subject.othertheory and algorithms for application domains
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UK Computer hardware
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
dc.titleFormal Methods
dc.title.alternative26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
dc.typebook
oapen.identifier.doi10.1007/978-3-031-71177-0
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isFundedBy557f3874-98c4-4e41-aff0-4f62db54d9d5
oapen.relation.isbn9783031711770
oapen.relation.isbn9783031711763
oapen.imprintSpringer Nature Switzerland
oapen.pages652
oapen.place.publicationCham
oapen.grant.number[...]
dc.relationisFundedBy557f3874-98c4-4e41-aff0-4f62db54d9d5
dc.seriesnumber14934


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record