Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Published on 20. July 2023
Book
Paperback/Softback
XXII, 187 pages
978-3-031-38827-9 (ISBN)
Description
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.
The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.More details
Series
Edition
1st ed. 2023
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
48 s/w Abbildungen, 17 farbige Abbildungen
XXII, 187 p. 65 illus., 17 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 12 mm
Weight
330 gr
ISBN-13
978-3-031-38827-9 (9783031388279)
DOI
10.1007/978-3-031-38828-6
Schweitzer Classification
Other editions
Additional editions
Virgile Prevosto | Cristina Seceleanu
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
E-Book
07/2023
Springer
€53.49
Available for download
Content
Low-level Code Verification.- Formal Models.- Model-based test generation.- Abstraction and Refinement.