会员服务
ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
Arxiv
0+阅读 · 2025年12月24日
Verification of E-Voting Algorithms in Dafny
Arxiv
0+阅读 · 2025年12月24日
Equivalence Checking of ML GPU Kernels
Arxiv
0+阅读 · 2025年11月18日
A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
Arxiv
0+阅读 · 2025年11月12日
Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
Arxiv
0+阅读 · 2025年12月7日
Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
Arxiv
0+阅读 · 2025年11月12日
The Groupoid-Syntax of Type Theory is a Set
Arxiv
0+阅读 · 2025年12月9日
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
Arxiv
0+阅读 · 2025年11月4日
Probably Approximately Global Robustness Certification
Arxiv
0+阅读 · 2025年11月9日
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
Arxiv
0+阅读 · 2025年11月13日
The internal languages of univalent categories
Arxiv
0+阅读 · 2025年12月1日
Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Arxiv
0+阅读 · 2025年11月27日
On Improving Deep Active Learning with Formal Verification
Arxiv
0+阅读 · 2025年12月16日
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
Arxiv
0+阅读 · 2023年4月21日
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Arxiv
0+阅读 · 2023年4月18日
参考链接
微信扫码咨询专知VIP会员
Top