default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th CAV 2026: Lisbon, Portugal - Part I
- Eva Darulova
, Anthony W. Lin, Philipp Rümmer:
Computer Aided Verification - 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I. Lecture Notes in Computer Science 16682, Springer 2026, ISBN 978-3-032-32518-1
Invited Talk
- Maya Swisa, Guy Katz:
Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification (Invited Talk). 3-15
Verification of Parallel, Concurrent, and Distributed Systems
- Constantin Enea, Azadeh Farzan, Dominik Klumpp:
On the Complexity of Checking Soundness of Natural Reductions. 19-41 - Pei Wang, Zhilei Han, Zhihang Sun, Fei He:
Deadlock Verification via Ordering-Constrained Mutex Modeling. 42-66 - Ruotong Cheng, Azadeh Farzan:
Complete Local Reasoning About Parameterized Programs Over Topologies. 67-89 - Lars B. van den Haak, Anton Wijs, Marieke Huisman:
Scalable Deductive Verification of Data-Level Parallel Programs. 90-112 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu, Stephan Spengler:
On the Verification Problem of Remote Direct Memory Access Programs. 113-135 - Andrew Johnson, Dennis Fetterly, Sean Song, Jonathan Zolla:
Model Checking for Flexible Network Protocols. 136-150 - Rodrigo Otoni, Shon Feder, Jure Kukovec, Andrey Kupriyanov, Gabriela Moreira, Philip Offtermatt, Thomas Pani, Thanh-Hai Tran, Igor Konnov:
The TLA+ Model Checker Apalache. 151-166 - Konstantinos Sagonas, Thanos Typaldos:
PSF: A Generic and Extensible Framework for Protocol State Fuzzing. 167-180 - Ondrej Alexaj, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Yong Li, Nicolas Mazzocchi:
Kofola 1.0: A Modular Approach to ømega-Regular Complementation and Inclusion Checking. 181-197 - Jort van Leenen, Tobias Kappé:
Octopus: Practical Equivalence Checking of P4 Packet Parsers. 198-211
Synthesis
- Léonard Brice, Thomas A. Henzinger, Alipasha Montaseri, Ali Shafiee, K. S. Thejaswini:
Randomise Alone, Reach as a Team. 215-236 - Guy Avni, Thomas A. Henzinger, Kaushik Mallik, Suman Sadhukhan, K. S. Thejaswini:
Decoupled Planning for Multiple Omega-Regular Objectives. 237-257 - Nariyoshi Chida, Tachio Terauchi:
Repairing Regex-Dependent String-Manipulation Programs. 258-283 - Ashish Mishra, Suresh Jagannathan:
Liquid Tree Automata. 284-307 - Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop:
SemML 2.0: Synthesizing Controllers for LTL. 308-321 - Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu:
Fast Obligation Translation and Synthesis. 322-339 - Shaun Azzopardi, Luca Di Stefano, Nir Piterman:
sweap: Reactive Synthesis for Infinite-State Integer Problems. 340-353
Hardware Verification
- Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang:
A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking. 357-379 - Luigi Rinaldi, John Wickerson, Samuel Coward:
A Multi-width Parametric Bitvector Equivalence Solver. 380-402 - Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen:
Massively Parallel Mining of Specifications for Hardware Designs. 403-425 - Gabriel Desfrene, Quentin Corradi, Michalis Pardalos, John Wickerson:
A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog. 426-445
Security, Privacy and Hyperproperties
- Bernd Finkbeiner, Frederik Scheerer:
Differentially Private Runtime Monitoring. 449-472 - Alcino Cunha, Hugo Pacheco, Nuno Macedo:
HyperLasso: Bounded Model Checking of ∀+∃>+-Liveness Hyperproperties. 473-496 - Tudor Braicu, Benjamin Ylvisaker, Nicolas A. Espinosa Dice, Yiding Chen, Yiyi Zhang, Nate Foster, Hossein Hojjat:
The Simulator's Blueprint: Automata Learning from Cybersecurity Logs. 497-510 - Tzu-Han Hsu, Milad Rabizadeh, Kenneth Rogale, Fedor Filippov, Marco A. de Oliveira Batista, Borzoo Bonakdarpour:
HyperQB 2.0: A Bounded Model Checker for Hyperproperties. 511-525
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-14 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
