Computer aided verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings. Part III / Eva Darulova, Anthony W. Lin, Philipp Rümmer, editors

Format:

Book

Conference/Event

Contributor:

Darulova, Eva, editor.

Lin, Anthony Widjaja, editor.

Rümmer, Philipp, editor.

Conference Name:

CAV (Conference) (38th : 2026 : Lisbon, Portugal)

Series:

Lecture notes in computer science ; 1611-3349 16684.

Lecture notes in computer science, 1611-3349 ; 16684

Language:

English

Subjects (All):

Computer software--Verification--Congresses.

Computer software.

Computer software--Verification.

Genre:

Conference papers and proceedings

Physical Description:

1 online resource : illustrations.

Other Title:

CAV 2026

Place of Publication:

Cham, Switzerland : Springer, [2026]

Summary:

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026. The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems. This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC)

Contents:

Liveness proofs for hardware model checking / Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, and Keijo Heljanko

Transition invariants revisited : termination witnesses and their validation / Dirk Beyer, Marek Jankola, and Marian Lingsch-Rosenfeld

KoAT : automatic complexity and termination analysis of integer programs / Nils Lommen, Éléanore Meyer, and Jürgen Giesl

Sound and precise symbolic automata model for stateful software systems / Xinlong Wu, Ruiyu Zhou, Peisen Yao, and Qingkai Shi

Automated amortised analysis of skew heaps and leftist heaps / Armin Walch, Georg Moser, Berry Schoenmakers, and Florian Zuleger

Polynomial invariant generation for floating-point programs / Xuran Cai, Liqian Chen, and Hongfei Fu

Parallel abstract interpretation for polynomial programs with range bound assertions / S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit Jitendra Motwani, and Đorđe Žikelić

Incremental inference for probabilistic Datalog / Xuyang Li, Weiyi Chen, Isil Dillig, and Jingbo Wang

Automatic detection of reference counting bugs in Linux kernel drivers / Joe Hattori, Naoki Kobayashi, and Ken Sakayori

Consistency-based software diagnosis : accuracy, scalability, and limitations / Sarah Sallinger, Lukas Graussam, Georg Weissenbacher, Florian Zuleger, and Alexey Ignatiev

Show me the money : an exercise in proof-driven software understanding / Joseph Tafese, Karthik Nukala, Hassen Saïdi, Natarajan Shankar, Arie Gurfinkel, and Giuliano Losa

SvLibChecker : a light-weight tool for software model checking / Dirk Beyer and Marian Lingsch-Rosenfeld

PyCHC : a framework for certified Horn solving and CHC-based design / Anna Becchi, Martin Blicha, Rodrigo Otoni, and Natasha Sharygina

How many quantum circuit identities are needed to generate all others? / Yuantian Ding, Nengkun Yu, and Xiaokang Qiu

A practical specification language for automatic quantum program verification / Wei-Lun Tsai, Yu-Fang Chen, and Ondřej Lengál

Formal verification of quantum ancilla safety / Jiqi Li, Jingyi Mei, Wang Fang, and Ji Guan

Model checking matrix product states against linear chain logic / Ming Xu, Yihao Chen, and Ji Guan

Analysis and verification of quantum communication protocols in UPPAAL / René Bødker Christensen, Nikolaj Rossander Kristensen, Kim Guldstrand Larsen, Marius Mikučionis, Jiří Srba, and Loke Walsted

Quokka# : quantum computing with #SAT / Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, and Alfons Laarman

Over-approximation of weakly-hard constraints for control systems verification / Rieke de Maeyer, Holger Hermanns, and Martina Maggio

Spatiotemporal robustness of temporal logic tasks using multi-objective reasoning / Oliver Schön and Lars Lindemann

Best-effort safety control of multi-mode systems / Massimo Benerecetti, Marco Faella, and Fabio Mogavero

Perception with guarantees : certified pose estimation via reachability analysis / Tobias Ladner, Yasser Shoukry, and Matthias Althoff

Tensor probabilistic model checking of finite-horizon Markov chains / Jianlin Li, Nick Guo, Peter Ye, and Yizhou Zhang

Fast computation of conditional probabilities in MDPs and Markov chain families / Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, and Tim Quatmann

Ensuring safety in automotive machine learning inference : from pre-validated static kernels to machine learning graph compilation / Jelena Frtunikj, Alex Latz, Ajit Mistry, Matthew Propp, Vasu Singh, Suresh Talapaneni, Amanda Tang, and Damien Zufferey

Caesar : a deductive verifier for probabilistic programs / Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja

ULTIMATE : a tool for the verification and synthesis of stochastic world models / Radu Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, and Gricel Vázquez

Notes:

Includes bibliographical references and index

Online resource; title from PDF title page (Springer Nature Link, viewed July 31, 2026)

Other Format:

Print version: CAV (Conference) (38th : 2026 : Lisbon, Portugal) Computer aided verification

ISBN:

9783032325372

3032325374

OCLC:

1609313550

Access Restriction:

Some versions: Open access versions available from some providers open access