Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th CAV 2023: Paris, France - Part II
- Constantin Enea
, Akash Lal:
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13965, Springer 2023, ISBN 978-3-031-37702-0
Decision Procedures
- Aina Niemetz, Mathias Preiner:
Bitwuzla. 3-17 - Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer:
Decision Procedures for Sequence Theories. 18-40 - Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. 41-63 - Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel:
Fast Approximations of Quantifier Elimination. 64-86 - Haokun Li, Bican Xia, Tianqi Zhao:
Local Search for Solving Satisfiability of Polynomial Formulas. 87-109 - Eugene Goldberg:
Partial Quantifier Elimination and Property Generation. 110-131 - Jiong Yang, Kuldeep S. Meel:
Rounding Meets Approximate Model Counting. 132-162 - Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett:
Satisfiability Modulo Finite Fields. 163-186 - Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka:
Solving String Constraints Using SAT. 187-208 - Martin Blicha, Konstantin Britikov, Natasha Sharygina:
The Golem Horn Solver. 209-223
Model Checking
- Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang:
CoqCryptoLine: A Verified Model Checker with Certified Results. 227-240 - Caleb Stanford, Margus Veanes:
Incremental Dead State Detection in Logarithmic Time. 241-264 - 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. 265-287 - Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu:
Searching for i-Good Lemmas to Accelerate Safety Model Checking. 288-308 - Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Second-Order Hyperproperties. 309-332
Neural Networks and Machine Learning
- Yannan Li, Jingbo Wang, Chao Wang:
Certifying the Fairness of KNN in the Presence of Dataset Bias. 335-357 - Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness. 358-382 - Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel:
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. 383-396 - Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson:
NNV 2.0: The Neural Network Verification Tool. 397-412 - Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. 413-437 - Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira:
Verifying Generalization in Deep Learning. 438-455
a service of 
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 2024-07-16 19:47 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
