Lecture Notes in Computer Science: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Protzenko, Jonathan; Raad, Azalea

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.

The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.

Details

Published by: Springer

Publication Date: 2025-05-03

Format: Paperback

ISBN-13: 9783031866944

DOI: 10.1007/978-3-031-86695-1

Dimensions: 235cm x155cm

Pages: 121