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

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.

• Format: Paperback
• Language: English
• ISBN: 3031274806
• ISBN13: 9783031274800
• Release Date: March 2023
• Publisher: Springer
• Length: 659 Pages
• Weight: 2.05 lbs.
• Dimensions: 1.4" x 6.1" x 9.2"