ENGLISH

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science)

By Martin Leucker (editor) , Marsha Chechik (editor) , Joost-Pieter Katoen (editor)

Book information

Publisher
Springer
Year
2023
ISBN
3031274806, 9783031274800
Language
english
Format
PDF
Filesize
27 MB (28115951 bytes)
Pages
676\661
Time added
2024-04-29 19:51:18

Description

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.

Similar books