Verified Software. Theories, Tools and Experiments 16th International Conference, ...

[ebooks1001]

Free Download Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
by Jonathan Protzenko, Azalea Raad
English | 2025 | ISBN: 3031866940 | 130 Pages | True ePUB | 11 MB

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.


Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live

[To see links please register or login]

Links are Interchangeable - Single Extraction