Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)

This volume presents the proceedings from the prestigious 19th International Conference focused on Verification, Model Checking, and Abstract Interpretation. Held in January 2018 in Los Angeles, it showcases cutting-edge research and developments presented by leading experts in the field. The collection highlights innovative methodologies and approaches that are shaping the future of software verification and analysis.

Featuring a selection of peer-reviewed papers, this book serves as a valuable resource for researchers and practitioners alike. It offers insights into the latest advancements and practical applications aimed at enhancing the reliability and safety of software systems. With a diverse range of topics discussed, it reflects the dynamic nature of the field and the ongoing conversations surrounding verification techniques.