VMCAI (1)

Publications

2024

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. VMCAI (1) (2024)
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) (2024)
Marco Milanese, Antoine Miné
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. VMCAI (1) (2024)
Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer
Boosting Constrained Horn Solving by Unsat Core Learning. VMCAI (1) (2024)
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak
Interpolation and Quantifiers in Ortholattices. VMCAI (1) (2024)
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) (2024)
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
Efficient Local Search for Nonlinear Real Arithmetic. VMCAI (1) (2024)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games Under Progress Assumptions. VMCAI (1) (2024)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) (2024)
Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
On the Verification of the Correctness of a Subgraph Construction Algorithm. VMCAI (1) (2024)
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Correctness Witness Validation by Abstract Interpretation. VMCAI (1) (2024)
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
Formal Runtime Error Detection During Development in the Automotive Industry. VMCAI (1) (2024)
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
Abstract Interpretation-Based Feature Importance for Support Vector Machines. VMCAI (1) (2024)
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function Synthesis for Maximizing Model Counting. VMCAI (1) (2024)
Alain Finkel, Mathieu Hilaire
Resilience and Home-Space for WSTS. VMCAI (1) (2024)

volume 14499, 2024

Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I VMCAI (1) 14499 (2024)