VMCAI 2024
30 papers
- A Fully Verified Persistency Library
- A Navigation Logic for Recursive Programs with Dynamic Thread Creation
- AGNES: Abstraction-Guided Framework for Deep Neural Networks Security
- Abstract Interpretation-Based Feature Importance for Support Vector Machines
- Automatic and Incremental Repair for Speculative Information Leaks
- Automatically Enforcing Rust Trait Properties
- Boosting Constrained Horn Solving by Unsat Core Learning
- Borrowable Fractional Ownership Types for Verification
- Correctness Witness Validation by Abstract Interpretation
- Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
- Efficient Local Search for Nonlinear Real Arithmetic
- Formal Runtime Error Detection During Development in the Automotive Industry
- Function Synthesis for Maximizing Model Counting
- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
- Generic Model Checking for Modal Fixpoint Logics in COOL-MC
- Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach
- Interpolation and Quantifiers in Ortholattices
- Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs
- Model-Guided Synthesis for LTL over Finite Traces
- On the Verification of the Correctness of a Subgraph Construction Algorithm
- Parameterized Verification of Disjunctive Timed Networks
- Petrification: Software Model Checking for Programs with Dynamic Thread Management
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
- Resilience and Home-Space for WSTS
- Solving Two-Player Games Under Progress Assumptions
- Sound Abstract Nonexploitability Analysis
- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
- TP-DejaVu: Combining Operational and Declarative Runtime Verification
- Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
- Verification of Neural Networks' Local Differential Classification Privacy