Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

This 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.

Format: Paperback / softback
Length: 167 pages
Publication date: 02 February 2023
Publisher: Springer International Publishing AG

The 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.

The papers presented at VSTTE 2022 cover a wide range of topics, including but not limited to:

Collaborative Software Verification: The papers explore the benefits and challenges of collaborative software verification, including techniques for effective collaboration, tool integration, and knowledge exchange.

Theory Unification in Software Verification: The papers discuss the integration of different verification theories and methodologies, aiming to develop a unified framework for software verification.

Tool 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.

Formalized 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.

Novel 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.

The 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.

We 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.

In 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.

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