实体
logic in computer science
logic in computer science
PulseAugur coverage of logic in computer science — every cluster mentioning logic in computer science across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
arXiv新论文正式化记录系统相同性规则的审计
arXiv上发表的一篇新论文介绍了一种正式方法，用于审计记录系统中声明的相同性规则与已实施的相同性规则之间的一致性。该研究概述了如何识别和形式化分歧，即在系统操作性身份关系可能与声明规则不同而无明确矛盾的情况下。此审计过程涉及比较记录分区并识别突出差异的特定“证人”，相对于披露的工件和已识别的使用情况提供三值评估。
-
AI框架A-IC3通过自适应策略增强硬件模型检查
研究人员开发了A-IC3，一个新颖的框架，通过结合机器学习来增强用于硬件模型检查的IC3算法。这种新方法使用多臂老虎机算法动态选择归纳泛化策略，适应不断变化的验证上下文。实证结果表明，A-IC3的性能显著优于现有方法，在基准套件上解决了更多案例并提高了分数。