arXiv cs.SE· Zimu Liu, Xiaoxi Guo, Xiaolu Tang, Liang Yu·· 1 小时前AI 评分22
跨设备测试何时能判定 PASS？部分可观测下的义务级证据资格认定
When Does a Cross-Device Run Justify PASS? Obligation-Level Evidence Qualification under Partial Observability
AI 导读
研究提出一种可执行证据契约，在谓词评估前显式完成支持资格认定，将每项义务绑定到可采信的主体、片段、对象与观测范围，并记录未解决的支持而非把表面成功的观测当作证明。
来源：arXiv cs.SE · arxiv.org