Tests and Proofs

16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Buch | Softcover

VIII, 127 Seiten

2022 | 1st ed. 2022
Springer International Publishing (Verlag)
978-3-031-09826-0 (ISBN)

Artikel merken

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.

The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

Formal Analysis and Proofs.- Effective Testing.

Erscheinungsdatum	24.06.2022
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	VIII, 127 p. 28 illus., 10 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	226 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Architecting • architecture verification and validation • Artificial Intelligence • Computer Hardware • computer programming • Computer Science • Computer systems • Debugging • Embedded Systems • Engineering • Formal Logic • Linguistics • Logic • Mathematics • Model Checking • Semantics • software architecture • Software Design • Software engineering • Software Quality • Software Reliability • Software Safety • Software Testing • verification • Verification and Validation
ISBN-10	3-031-09826-9 / 3031098269
ISBN-13	978-3-031-09826-0 / 9783031098260
Zustand	Neuware