Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Marsha Chechik; Joost-Pieter Katoen; Martin Leucker

doi:10.1007/978-3-031-27481-7

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Marsha Chechik (Editor)
, Joost-Pieter Katoen (Editor)
, Martin Leucker (Editor)

Research output: Book/Report › Book editing › Academic

Abstract

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

Original language	English
Place of Publication	Cham
Publisher	Springer
Number of pages	259
Edition	1
ISBN (Electronic)	978-3-031-27481-7
ISBN (Print)	978-3-031-27480-0
DOIs	https://doi.org/10.1007/978-3-031-27481-7
Publication status	Published - 1 Mar 2023
Externally published	Yes
Event	25th International Symposium on Formal Methods, FM 2023 - Lübeck, Germany Duration: 6 Mar 2023 → 10 Mar 2023 Conference number: 25

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Cham
Volume	14000
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-031-27481-7

Cite this

@book{7a85da36715847658b5547c12781d66e,

title = "Formal Methods: 25th International Symposium, FM 2023, L{\"u}beck, Germany, March 6–10, 2023, Proceedings",

abstract = "This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in L{\"u}beck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. ",

editor = "Marsha Chechik and Joost-Pieter Katoen and Martin Leucker",

year = "2023",

month = mar,

day = "1",

doi = "10.1007/978-3-031-27481-7",

language = "English",

isbn = "978-3-031-27480-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

edition = "1",

note = "25th International Symposium on Formal Methods, FM 2023, FM ; Conference date: 06-03-2023 Through 10-03-2023",

}

TY - BOOK

T1 - Formal Methods

T2 - 25th International Symposium on Formal Methods, FM 2023

A2 - Chechik, Marsha

A2 - Katoen, Joost-Pieter

A2 - Leucker, Martin

N1 - Conference code: 25

PY - 2023/3/1

Y1 - 2023/3/1

N2 - This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

AB - This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

U2 - 10.1007/978-3-031-27481-7

DO - 10.1007/978-3-031-27481-7

M3 - Book editing

SN - 978-3-031-27480-0

T3 - Lecture Notes in Computer Science

BT - Formal Methods

PB - Springer

CY - Cham

Y2 - 6 March 2023 through 10 March 2023

ER -

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Abstract

Publication series

Access to Document

Fingerprint

Cite this