@inbook{4aae444839374dc383d0fa0d9f52d0fd,
title = "25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024",
abstract = "The proceedings contain 30 papers. The special focus in this conference is on Verification, Model Checking, and Abstract Interpretation. The topics include: Interpolation and Quantifiers in Ortholattices; function Synthesis for Maximizing Model Counting; boosting Constrained Horn Solving by Unsat Core Learning; on the Verification of the Correctness of a Subgraph Construction Algorithm; efficient Local Search for Nonlinear Real Arithmetic; abstract Interpretation-Based Feature Importance for Support Vector Machines; generation of Violation Witnesses by Under-Approximating Abstract Interpretation; correctness Witness Validation by Abstract Interpretation; project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability; parameterized Verification of Disjunctive Timed Networks; Resilience and Home-Space for WSTS; Generic Model Checking for Modal Fixpoint Logics in COOL-MC; Model-Guided Synthesis for LTL over Finite Traces.",
author = "Abhinandan Pal and Francesco Ranzato and Caterina Urban and Marco Zanella",
year = "2024",
language = "English",
isbn = "9783031505201",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
editor = "Rayna Dimitrova and Ori Lahav and Sebastian Wolff",
booktitle = "Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings",
note = "25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024 ; Conference date: 15-01-2024 Through 16-01-2024",
}