CAVTheoretical Computer Science
International Conference on Computer Aided Verification
348Papers indexed
2020-2026Years covered
Recent papers
- A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model CheckingXiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang2026
- A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilogGabriel Desfrene, Quentin Corradi, Michalis Pardalos, John Wickerson2026
- A Multi-width Parametric Bitvector Equivalence SolverLuigi Rinaldi, John Wickerson, Samuel Coward2026
- A Practical Specification Language for Automatic Quantum Program VerificationWei-Lun Tsai, Yu-Fang Chen, Ondrej Lengál2026
- An L# Based Algorithm for Active Learning of Minimal Separating AutomataJasper Laumen, Leonne Snel, Frits W. Vaandrager2026
- ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation NetworksYuehao Liu, Cong Tian, Yansong Dong, Liang Zhao et al.2026
- Automated Amortised Analysis of Skew Heaps and Leftist HeapsArmin Walch, Georg Moser, Berry Schoenmakers, Florian Zuleger2026
- Automating Bitvector and Finite Field Equivalence Proofs in LeanElizaveta Pertseva, Valentin Robert, Clark W. Barrett, James Parker2026
- Best-Effort Safety Control of Multi-mode SystemsMassimo Benerecetti, Marco Faella, Fabio Mogavero2026
- Complete Local Reasoning About Parameterized Programs Over TopologiesRuotong Cheng, Azadeh Farzan2026
- Compositional Verification of Timed Automata via Violation AssumptionsMehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani et al.2026
- Consistency-Based Software Diagnosis: Accuracy, Scalability, and LimitationsSarah Sallinger, Lukas Graussam, Georg Weissenbacher, Florian Zuleger et al.2026
- Deadlock Verification via Ordering-Constrained Mutex ModelingPei Wang, Zhilei Han, Zhihang Sun, Fei He2026
- Decoupled Planning for Multiple Omega-Regular ObjectivesGuy Avni, Thomas A. Henzinger, Kaushik Mallik, Suman Sadhukhan et al.2026
- Differentially Private Runtime MonitoringBernd Finkbeiner, Frederik Scheerer2026
- Fast Computation of Conditional Probabilities in MDPs and Markov Chain FamiliesMilan Ceska, Sebastian Junges, Luko van der Maas, Filip Macák et al.2026
- Formal Verification of Quantum Ancilla SafetyJiqi Li, Jingyi Mei, Wang Fang, Ji Guan2026
- Formally Verified Linear-Time Invertible LexingSamuel Chassot, Viktor Kuncak2026
- How Many Quantum Circuit Identities Are Needed to Generate All Others?Yuantian Ding, Nengkun Yu, Xiaokang Qiu2026
- HyperLasso: Bounded Model Checking of ∀+∃>+-Liveness HyperpropertiesAlcino Cunha, Hugo Pacheco, Nuno Macedo2026
- Improving Stability of SMT Solvers via Context-Driven NormalizationXiang Zhang, Mengyu Zhao, Shaohuang Chen, Jian Zhang et al.2026
- Incremental Inference for Probabilistic DatalogXuyang Li, Weiyi Chen, Isil Dillig, Jingbo Wang2026
- Lagrangian-Based Duality for Quantified SMT AlgorithmsIvana Bocevska, Takeshi Tsukada, Hiroshi Unno, Oded Padon et al.2026
- Liquid Tree AutomataAshish Mishra, Suresh Jagannathan2026
