The book "Verification, Model Checking, and Abstract Interpretation" documents the refereed proceedings of the 19th International Conference on the topics of verification, model checking, and abstract interpretation, which took place in January 2018 in Los Angeles. It includes 24 full papers carefully selected from 43 submissions, as well as the abstracts of three invited keynotes and one invited tutorial. The conference covers a wide range of topics relevant to professionals and researchers in the field of computer science, including program verification, model checking, abstract interpretation, and static analysis. This work provides valuable insights into current developments and methods in these areas and is an important resource for anyone involved in the formal verification and analysis of programs.