CAV (3)

Keyphrases

Publications

2023

Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
Formally Verified EVM Block-Optimizations. CAV (3) (2023)
Alberto Griggio, Martin Jonás
Kratos2: An SMT-Based Model Checker for Imperative Programs. CAV (3) (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CAV (3) (2023)
Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak
Formula Normalizations in Verification. CAV (3) (2023)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CAV (3) (2023)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification. CAV (3) (2023)
Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
Verifying the Verifier: eBPF Range Analysis Verification. CAV (3) (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) (2023)
Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
Ownership Guided C to Rust Translation. CAV (3) (2023)
Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang
R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. CAV (3) (2023)
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) (2023)
Andoni Rodríguez, César Sánchez
Boolean Abstractions for Realizability Modulo Theories. CAV (3) (2023)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. CAV (3) (2023)
Mingyang Liu, Fu Song, Taolue Chen
Automated Verification of Correctness for Masked Arithmetic Programs. CAV (3) (2023)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) (2023)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
Certified Verification for Algebraic Abstraction. CAV (3) (2023)
Gourav Takhar, Subhajit Roy
SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. CAV (3) (2023)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CAV (3) (2023)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) (2023)
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CAV (3) (2023)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
AutoQ: An Automata-Based Quantum Circuit Verifier. CAV (3) (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Symbolic Quantum Simulation with Quasimodo. CAV (3) (2023)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CAV (3) (2023)

volume 13966, 2023

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III CAV (3) 13966 (2023)