{"product_id":"formal-methods-25th-international-symposium-fm-2023-lubeck-germany-march-610-2023-proceedings-9783031274800","title":"Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings","description":"\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis 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. \u003c\/blockquote\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 659 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 03 March 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003eThe 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.\u003cbr\u003e\u003cbr\u003eSAT\/SMT: This section explores the intersection of Satisfiability Modelling and Theorem Proving, focusing on techniques for solving complex mathematical problems.\u003cbr\u003e\u003cbr\u003eVerification: This section delves into the verification of software systems, ensuring their correctness and reliability through rigorous analysis and testing.\u003cbr\u003e\u003cbr\u003eQuantitative Verification: This section explores the use of quantitative methods to analyze and verify software systems, including models and simulations.\u003cbr\u003e\u003cbr\u003eConcurrency and Memory Models: This section examines the design and analysis of concurrent systems and memory models, addressing issues such as synchronization and memory management.\u003cbr\u003e\u003cbr\u003eFormal Methods in AI: This section explores the application of formal methods to AI, including machine learning, natural language processing, and decision-making.\u003cbr\u003e\u003cbr\u003eSafety 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.\u003cbr\u003e\u003cbr\u003eIn 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.\u003cbr\u003e\u003cbr\u003eFurthermore, 7 papers from the industry day were included, showcasing the practical applications of formal methods in various industries and sectors.\u003cbr\u003e\u003cbr\u003eThis 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.\u003cbr\u003e\u003cbr\u003eThe 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.\u003cbr\u003e\u003cbr\u003eSAT\/SMT: This section explores the intersection of Satisfiability Modelling and Theorem Proving, focusing on techniques for solving complex mathematical problems.\u003cbr\u003e\u003cbr\u003eVerification: This section delves into the verification of software systems, ensuring their correctness and reliability through rigorous analysis and testing.\u003cbr\u003e\u003cbr\u003eQuantitative Verification: This section explores the use of quantitative methods to analyze and verify software systems, including models and simulations.\u003cbr\u003e\u003cbr\u003eConcurrency and Memory Models: This section examines the design and analysis of concurrent systems and memory models, addressing issues such as synchronization and memory management.\u003cbr\u003e\u003cbr\u003eFormal Methods in AI: This section explores the application of formal methods to AI, including machine learning, natural language processing, and decision-making.\u003cbr\u003e\u003cbr\u003eSafety 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.\u003cbr\u003e\u003cbr\u003eIn 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.\u003cbr\u003e\u003cbr\u003eFurthermore, 7 papers from the industry day were included, showcasing the practical applications of formal methods in various industries and sectors.\u003cbr\u003e\u003cbr\u003eThis 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.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 1021g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031274800\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2023\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44307597590778,"sku":"9783031274800","price":76.85,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_19b2e5da-9afd-4126-94fc-710e7d2ff3fa.jpg?v=1688110219","url":"https:\/\/shulphink.com\/products\/formal-methods-25th-international-symposium-fm-2023-lubeck-germany-march-610-2023-proceedings-9783031274800","provider":"Shulph Ink","version":"1.0","type":"link"}