Tests and Proofs -

Tests and Proofs

18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Marieke Huisman, Falk Howar (Herausgeber)

Buch | Softcover
XIV, 177 Seiten
2024 | 2025
Springer International Publishing (Verlag)
978-3-031-72043-7 (ISBN)
139,09 inkl. MwSt

This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.

The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XIV, 177 p. 64 illus., 33 illus. in color.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Informatik Theorie / Studium
Schlagworte Formal Logic • formal methods • Model Checking • runtime verification • Software engineering • Software Testing • Specifications • symbolic execution • theorem proving
ISBN-10 3-031-72043-1 / 3031720431
ISBN-13 978-3-031-72043-7 / 9783031720437
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
die letzten Jahre der Philosophie und der Beginn einer neuen …

von Wolfram Eilenberger

Buch | Hardcover (2024)
Klett-Cotta (Verlag)
28,00
Gesundheitsschutz, Selbstbestimmungsrechte, Rechtspolitik

von Hartmut Kreß

Buch | Softcover (2024)
Kohlhammer (Verlag)
39,00
Jenseits von Identität | Ausgezeichnet mit dem Leipziger Buchpreis …

von Omri Boehm

Buch | Softcover (2023)
Ullstein Taschenbuch Verlag
13,99