先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Computer Aided Verification
会议名35th International Conference on Computer Aided Verification (CAV 2023)
中译名《第三十五届国际计算机辅助认证会议，卷2》
会议日期July 17-22, 2023
会议地点Paris, France
出版年2023
馆藏号349226


题名作者出版年
BitwuzlaAina Niemetz; Mathias Preiner2023
Decision Procedures for Sequence TheoriesArtur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rummer2023
Exploiting Adjoints in Property Directed Reachability AnalysisMayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni; Roberta Gori; Ichiro Hasuo2023
Fast Approximations of Quantifier EliminationIsabel Garcia-Contreras; V. K. Hari Govind; Sharon Shoham; Arie Gurfinkel2023
Local Search for Solving Satisfiability of Polynomial FormulasHaokun Li; Bican Xia; Tianqi Zhao2023
Partial Quantifier Elimination and Property GenerationEugene Goldberg2023
Rounding Meets Approximate Model CountingJiong Yang; Kuldeep S. Meel2023
Satisfiability Modulo Finite FieldsAlex Ozdemir; Gereon Kremer; Cesare Tinelli; Clark Barrett2023
Solving String Constraints Using SATKevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Rupak Majumdar; Dirk Nowotka2023
The Golem Horn SolverMartin Blicha; Konstantin Britikov; Natasha Sharygina2023
CoqCryptoLine: A Verified Model Checker with Certified ResultsMing-Hsien Tsai; Yu-Fu Fu; Jiaxiang Liu; Xiaomu Shi; Bow-Yaw Wang; Bo-Yin Yang2023
Incremental Dead State Detection in Logarithmic TimeCaleb Stanford; Margus Veanes2023
Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is GuaranteedWenhao Wu; Jan Huckelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel2023
Searching for i-Good Lemmas to Accelerate Safety Model CheckingYechuan Xia; Anna Becchi; Alessandro Cimatti; Alberto Griggio; Jianwen Li; Geguang Pu2023
Second-Order HyperpropertiesRaven Beutner; Bernd Finkbeiner; Hadar Frenkel; Niklas Metzger2023
Certifying the Fairness of KNN in the Presence of Dataset BiasYannan Li; Jingbo Wang; Chao Wang2023
Monitoring Algorithmic FairnessThomas A. Henzinger; Mahyar Karimi; Konstantin Kueffner; Kaushik Mallik2023
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language ModelsMatthias Cosler; Christopher Hahn; Daniel Mendoza; Frederik Schmitt; Caroline Trippel2023
NNV 2.0: The Neural Network Verification ToolDiego Manzanas Lopez; Sung Woo Choi; Hoang-Dung Tran; Taylor T. Johnson2023
QEBVerif: Quantization Error Bound Verification of Neural NetworksYedi Zhang; Fu Song; Jun Sun2023
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024