arXiv新论文正式化记录系统相同性规则的审计

arXiv上发表的一篇新论文介绍了一种正式方法，用于审计记录系统中声明的相同性规则与已实施的相同性规则之间的一致性。该研究概述了如何识别和形式化分歧，即在系统操作性身份关系可能与声明规则不同而无明确矛盾的情况下。此审计过程涉及比较记录分区并识别突出差异的特定“证人”，相对于披露的工件和已识别的使用情况提供三值评估。 AI

影响 形式化数据一致性审计方法，可能提高依赖记录保存的AI系统的可靠性。

排序理由 该条目是发表在arXiv上的学术论文，详细介绍了审计记录系统的正式方法。[lever_c_demoted from research: ic=1 ai=0.4]

在 arXiv cs.AI 阅读 →

• alphaXiv
• arXiv
• CatalyzeX Code Finder for Papers
• Connected Papers
• DagsHub
• Gotit.pub
• Hugging Face
• Litmaps
• logic in computer science
• Operational Identity
• Sam
• ScienceCast
• scite Smart Citations

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →