Das Buch "Verification, Model Checking, and Abstract Interpretation" dokumentiert die refereed Proceedings der 19. Internationalen Konferenz zu den Themen Verifikation, Modellprüfung und abstrakte Interpretation, die im Januar 2018 in Los Angeles stattfand. Es umfasst 24 vollständige Beiträge, die aus 43 Einreichungen sorgfältig ausgewählt wurden, sowie die Abstracts von drei eingeladenen Keynotes und einem eingeladenen Tutorial. Die Konferenz behandelt eine Vielzahl von Themen, die für Fachleute und Forscher im Bereich der Informatik von Bedeutung sind, darunter Programmverifikation, Modellprüfung, abstrakte Interpretation und statische Analyse. Dieses Werk bietet wertvolle Einblicke in aktuelle Entwicklungen und Methoden in diesen Bereichen und ist eine wichtige Ressource für alle, die sich mit der formalen Verifikation und Analyse von Programmen beschäftigen.