ENGLISH

Verified Software: Theories, Tools and Experiments, 15th International Conference, VSTTE 2023, Revised Selected Papers

By Andrew Reynolds , Serdar Tasiran

Book information

Publisher
Springer
Year
2024
ISBN
9783031660634, 9783031660641
DOI
10.1007/978-3-031-66064-1
ISSN
0302-9743
Language
english
Format
PDF
Filesize
4 MB (4586402 bytes)
Edition
1
Pages
116\116
Orientation
portrait
Paginated
yes
Scanned
no
Time added
2025-02-11 02:30:05

Description

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

Similar books