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

This book presents the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, held in Lübeck, Germany, in March 2023. It includes 26 full papers, 2 short papers, and 3 keynote talks from the symposium, covering various topics in formal methods, including SAT/SMT, verification, quantitative verification, concurrency, memory models, AI, safety, and reliability.

Format: Paperback / softback
Length: 659 pages
Publication date: 03 March 2023
Publisher: Springer International Publishing AG

The 25th International Symposium on Formal Methods, FM 2023, held in Lübeck, Germany, in March 2023, has resulted in this comprehensive collection of refereed proceedings. Comprising a total of 26 full papers and 2 short papers, this book represents the pinnacle of research and innovation in the field of formal methods. A rigorous review process involving 95 submissions led to the selection of these exceptional papers, which have been organized into topical sections covering a wide range of areas.

SAT/SMT: This section explores the intersection of Satisfiability Modelling and Theorem Proving, focusing on techniques for solving complex mathematical problems.

Verification: This section delves into the verification of software systems, ensuring their correctness and reliability through rigorous analysis and testing.

Quantitative Verification: This section explores the use of quantitative methods to analyze and verify software systems, including models and simulations.

Concurrency and Memory Models: This section examines the design and analysis of concurrent systems and memory models, addressing issues such as synchronization and memory management.

Formal Methods in AI: This section explores the application of formal methods to AI, including machine learning, natural language processing, and decision-making.

Safety and Reliability: This section focuses on the development and analysis of safety and reliability criteria for software systems, ensuring their dependability and safety in critical applications.

In addition to the research papers, the proceedings also feature 3 keynote talks delivered by renowned experts in the field. These talks provide insights into the latest trends and advancements in formal methods.

Furthermore, 7 papers from the industry day were included, showcasing the practical applications of formal methods in various industries and sectors.

This book serves as a valuable resource for researchers, practitioners, and students in the field of formal methods, providing a comprehensive overview of the latest developments and trends. It will undoubtedly contribute to the ongoing progress and innovation in this field.

The 25th International Symposium on Formal Methods, FM 2023, held in Lübeck, Germany, in March 2023, has resulted in this comprehensive collection of refereed proceedings. Comprising a total of 26 full papers and 2 short papers, this book represents the pinnacle of research and innovation in the field of formal methods. A rigorous review process involving 95 submissions led to the selection of these exceptional papers, which have been organized into topical sections covering a wide range of areas.

SAT/SMT: This section explores the intersection of Satisfiability Modelling and Theorem Proving, focusing on techniques for solving complex mathematical problems.

Verification: This section delves into the verification of software systems, ensuring their correctness and reliability through rigorous analysis and testing.

Quantitative Verification: This section explores the use of quantitative methods to analyze and verify software systems, including models and simulations.

Concurrency and Memory Models: This section examines the design and analysis of concurrent systems and memory models, addressing issues such as synchronization and memory management.

Formal Methods in AI: This section explores the application of formal methods to AI, including machine learning, natural language processing, and decision-making.

Safety and Reliability: This section focuses on the development and analysis of safety and reliability criteria for software systems, ensuring their dependability and safety in critical applications.

In addition to the research papers, the proceedings also feature 3 keynote talks delivered by renowned experts in the field. These talks provide insights into the latest trends and advancements in formal methods.

Furthermore, 7 papers from the industry day were included, showcasing the practical applications of formal methods in various industries and sectors.

This book serves as a valuable resource for researchers, practitioners, and students in the field of formal methods, providing a comprehensive overview of the latest developments and trends. It will undoubtedly contribute to the ongoing progress and innovation in this field.

Weight: 1021g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031274800
Edition number: 1st ed. 2023