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

会议文集


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


题名作者出版年
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic UncertaintiesRupak Majumdar; Kaushik Mallik; Mateusz Rychlicki; Anne-Kathrin Schmuck; Sadegh Soudjani2023
Automated Tail Bound Analysis for Probabilistic Recurrence RelationsYican Sun; Hongfei Fu; Krishnendu Chatterjee; Amir Kafshdar Goharshady2023
Compositional Probabilistic Model Checking with String Diagrams of MDPsKazuki Watanabe; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo2023
Efficient Sensitivity Analysis for Parametric Robust Markov ChainsThom Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen2023
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety ObjectivesS. Akshay; Krishnendu Chatterjee; Tobias Meggendorfer; Dorde Zikelic2023
Search and Explore: Symbiotic Policy Synthesis in POMDPsRoman Andriushchenko; Alexander Bork; Milan Ceska; Sebastian Junges; Joost-Pieter Katoen; Filip Macak2023
AutoQ: An Automata-Based Quantum Circuit VerifierYu-Fang Chen; Kai-Min Chung; Ondrej Lengal; Jyun-Ao Lin; Wei-Lun Tsai2023
Bounded Verification for Finite-Field-Blasting: In a Compiler for Zero Knowledge ProofsAlex Ozdemir; Riad S. Wahby; Fraser Brown; Clark Barrett2023
Formally Verified EVM Block-OptimizationsElvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin2023
SR-SFLL: Structurally Robust Stripped Functionality Logic LockingGourav Takhar; Subhajit Roy2023
Symbolic Quantum Simulation with QuasimodoMeghana Sistla; Swarat Chaudhuri; Thomas Reps2023
Verifying the Verifier: eBPF Range Analysis VerificationHarishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte2023
Automated Verification of Correctness for Masked Arithmetic ProgramsMingyang Liu; Fu Song; Taolue Chen2023
Automatic Program Instrumentation for Automatic VerificationJesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidstrom; Philipp Rummer2023
Boolean Abstractions for Realizability Modulo TheoriesAndoni Rodriguez; Cesar Sanchez2023
Certified Verification for Algebraic AbstractionMing-Hsien Tsai; Yu-Fu Fu; Jiaxiang Liu; Xiaomu Shi; Bow-Yaw Wang; Bo-Yin Yang2023
Complete Multiparty Session Type Projection with AutomataElaine Li; Felix Stutz; Thomas Wies; Damien Zufferey2023
Early Verification of Legal Compliance via Bounded Satisfiability CheckingNick Feng; Lina Marsso; Mehrdad Sabetzadeh; Marsha Chechik2023
Formula Normalizations in VerificationSimon Guilloud; Mario Bucev; Dragana Milovancevic; Viktor Kuncak2023
Kratos2: An SMT-Based Model Checker for Imperative ProgramsAlberto Griggio; Martin Jonas2023
12



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