{"product_id":"verified-software-theories-tools-and-experiments-14th-international-conference-vstte-2022-trento-italy-october-1718-2022-revised-selected-papers-9783031258022","title":"Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis book presents the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools, and Experiments, VSTTE 2022, held in Trento, Italy, focusing on software verification efforts involving collaboration, theory unification, tool integration, and formalized domain knowledge. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 167 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 02 February 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThe 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022, held in Trento, Italy, from October 17 to 18, 2022, has seen the publication of this book, which serves as a compilation of the refereed proceedings. The conference featured a total of 9 papers, which were meticulously reviewed and chosen from a pool of 20 submissions. These papers delve into diverse software verification endeavors, encompassing collaborative efforts, the integration of theories, the utilization of tools, and the application of formalized domain knowledge. Additionally, they present novel experiments and case studies that assess the effectiveness and efficiency of verification techniques and technologies.\u003cbr\u003e\u003cbr\u003eThe papers presented at VSTTE 2022 cover a wide range of topics, including but not limited to:\u003cbr\u003e\u003cbr\u003eCollaborative Software Verification: The papers explore the benefits and challenges of collaborative software verification, including techniques for effective collaboration, tool integration, and knowledge exchange.\u003cbr\u003e\u003cbr\u003eTheory Unification in Software Verification: The papers discuss the integration of different verification theories and methodologies, aiming to develop a unified framework for software verification.\u003cbr\u003e\u003cbr\u003eTool Integration in Software Verification: The papers explore the integration of various software verification tools and technologies, including model checkers, theorem provers, and static analysis tools.\u003cbr\u003e\u003cbr\u003eFormalized Domain Knowledge in Software Verification: The papers discuss the use of formalized domain knowledge in software verification, including the development of domain-specific languages, models, and verification techniques.\u003cbr\u003e\u003cbr\u003eNovel Experiments and Case Studies in Software Verification: The papers present novel experiments and case studies that evaluate the effectiveness and efficiency of verification techniques and technologies in real-world scenarios.\u003cbr\u003e\u003cbr\u003eThe contributions made by the authors and presenters at VSTTE 2022 are invaluable in advancing the field of software verification. The papers presented provide insights into the latest research, trends, and best practices in software verification, and they serve as a valuable resource for researchers, practitioners, and students in the field.\u003cbr\u003e\u003cbr\u003eWe would like to express our gratitude to the organizers of VSTTE 2022 for their hard work in organizing the conference and to the reviewers and editors who contributed to the selection of the papers for this volume. We also extend our thanks to the publishers for their support in making this book available to the wider audience.\u003cbr\u003e\u003cbr\u003eIn conclusion, this book represents the state-of-the-art in software verification research and practice. It provides a valuable contribution to the field and serves as a testament to the ongoing efforts of researchers and practitioners in improving the reliability and security of software systems.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 285g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031258022\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2023\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44302284816634,"sku":"9783031258022","price":38.42,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_16113793-264b-44bb-98bf-9d573664ca19.jpg?v=1687924144","url":"https:\/\/shulphink.com\/products\/verified-software-theories-tools-and-experiments-14th-international-conference-vstte-2022-trento-italy-october-1718-2022-revised-selected-papers-9783031258022","provider":"Shulph Ink","version":"1.0","type":"link"}