Details

Autor(en) / Beteiligte

• Chechik, Marsha
• Katoen, Joost-Pieter
• Leucker, Martin

Titel

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

Auflage

1

Ort / Verlag

Cham: Springer International Publishing AG

Erscheinungsjahr

2023

Link zum Volltext

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

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