Show simple item record

Formal Methods

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

dc.contributor.editorPlatzer, André
dc.contributor.editorRozier, Kristin Yvonne
dc.contributor.editorPradella, Matteo
dc.contributor.editorRossi, Matteo
dc.date.accessioned2024-09-13T12:59:13Z
dc.date.available2024-09-13T12:59:13Z
dc.date.issued2025
dc.identifierONIX_20240913_9783031711626_28
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/93254
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.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
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.titleFormal Methods
dc.title.alternative26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
dc.typebook
oapen.identifier.doi10.1007/978-3-031-71162-6
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy557f3874-98c4-4e41-aff0-4f62db54d9d5
oapen.relation.isbn9783031711626
oapen.relation.isbn9783031711619
oapen.imprintSpringer Nature Switzerland
oapen.series.number14933
oapen.pages680
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-71162-6.pdf
Size:
29.47Mb
Format:
PDF
ISBN:
9783031711626
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record