International Conference on Computer-Aided Verification (CAV)
Boosting Few-Pixel Robustness Verification via Covering Verification Designs.
通过覆盖验证设计提升少量像素鲁棒性验证。
2024
Localized Attractor Computations for Infinite-State Games.
无限状态博弈的局部吸引子计算。
2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.
基于优化的复杂STL规范模型检验与轨迹合成。
2024
From Clauses to Klauses [inline-graphic not available: see fulltext].
从从句到K从句 [内嵌图形不可用：请参阅全文]。
2024
Strided Difference Bound Matrices.
步长差分边界矩阵。
2024
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
有限域上可满足性的分裂Gröbner基。
2024
Scalable Bit-Blasting with Abstractions.
可扩展的抽象位爆破方法。
2024
Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement.
通过细粒度策略改进量化线性算术可满足性。
2024
Interactive Theorem Proving Modulo Fuzzing.
交互式定理证明模模糊测试。
2024
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.
通过约束注释树自动机进行递归程序的关系综合。
2024
会议信息
会议名称：
International Conference on Computer-Aided Verification
会议评级
CCF: A
CORE: A*
THCPL: A
年度会议
Year: 2022
Place: Technion, Haifa, Israel
Date: Aug 7-10, 2022
Timeline:
Abstract Deadline: N/A
Deadline: 2022-01-21T23:59:59-12:00