Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

The book summarizes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems,VECoS 2021,which was held virtually due to the COVID-19 pandemic. It includes 5 full papers selected from 12 submissions,with the aim of encouraging cross-fertilization between formal verification and evaluation approaches for modern computer and communication systems.

Format: Paperback / softback
Length: 91 pages
Publication date: 19 March 2022
Publisher: Springer Nature Switzerland AG

The 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2021) was held virtually in November 2021 due to the COVID-19 pandemic. This book serves as a compilation of the proceedings of the conference, featuring five full papers that were meticulously reviewed and selected from a total of 12 submissions. The primary objective of VECoS is to foster a vibrant community of researchers and practitioners in the fields of verification, control, performance, and dependability evaluation for modern computer and communication systems. These systems are characterized by their intricate interplay between functional and extra-functional properties, making it crucial to explore innovative approaches and techniques for their assessment.

At VECoS, the focus is on encouraging cross-fertilization between various formal verification and evaluation approaches, methods, and techniques. This includes the development of methods tailored for concurrent and distributed hardware/software systems, which are increasingly prevalent in today's computing landscape. By bringing together experts from diverse domains, VECoS aims to advance the state of the art in these critical areas and address the challenges faced by modern systems.

The conference proceedings cover a wide range of topics, including but not limited to formal verification, model checking, performance analysis, dependability assessment, and security evaluation. The papers presented provide insights into the latest research findings, practical methodologies, and case studies related to these fields.

One of the key highlights of VECoS 2021 was the participation of renowned researchers and practitioners from around the world. The conference provided a platform for exchanging ideas, sharing expertise, and fostering collaborations among participants. It also served as an excellent opportunity for early-career researchers to showcase their work and gain recognition in the field.

In conclusion, the 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2021) was a resounding success, showcasing the latest advancements in the field and fostering a strong community of researchers and practitioners. The proceedings of the conference will undoubtedly contribute to the progress of verification, control, performance, and dependability evaluation for modern computer and communication systems.

Weight: 174g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030988494
Edition number: 1st ed. 2022