CAV (2)

Keyphrases

Publications

2023

Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Decision Procedures for Sequence Theories. CAV (2) (2023)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
CoqCryptoLine: A Verified Model Checker with Certified Results. CAV (2) (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness. CAV (2) (2023)
Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
Solving String Constraints Using SAT. CAV (2) (2023)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying Generalization in Deep Learning. CAV (2) (2023)
Yannan Li, Jingbo Wang, Chao Wang
Certifying the Fairness of KNN in the Presence of Dataset Bias. CAV (2) (2023)
Eugene Goldberg
Partial Quantifier Elimination and Property Generation. CAV (2) (2023)
Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
NNV 2.0: The Neural Network Verification Tool. CAV (2) (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CAV (2) (2023)
Caleb Stanford, Margus Veanes
Incremental Dead State Detection in Logarithmic Time. CAV (2) (2023)
Jiong Yang, Kuldeep S. Meel
Rounding Meets Approximate Model Counting. CAV (2) (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) (2023)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) (2023)
Haokun Li, Bican Xia, Tianqi Zhao
Local Search for Solving Satisfiability of Polynomial Formulas. CAV (2) (2023)
Yedi Zhang, Fu Song, Jun Sun
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) (2023)
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Fast Approximations of Quantifier Elimination. CAV (2) (2023)
Martin Blicha, Konstantin Britikov, Natasha Sharygina
The Golem Horn Solver. CAV (2) (2023)
Aina Niemetz, Mathias Preiner
Bitwuzla. CAV (2) (2023)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. CAV (2) (2023)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) (2023)
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
Satisfiability Modulo Finite Fields. CAV (2) (2023)

volume 13965, 2023

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II CAV (2) 13965 (2023)

2022

volume 13372, 2022

Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II CAV (2) 13372 (2022)

volume 12760, 2021

Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II CAV (2) 12760 (2021)