会员服务
Equivalence Checking of ML GPU Kernels
Arxiv
0+阅读 · 11月18日
A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
Arxiv
0+阅读 · 11月12日
Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
Arxiv
0+阅读 · 12月7日
Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
Arxiv
0+阅读 · 11月12日
The Groupoid-Syntax of Type Theory is a Set
Arxiv
0+阅读 · 12月9日
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
Arxiv
0+阅读 · 11月4日
Probably Approximately Global Robustness Certification
Arxiv
0+阅读 · 11月9日
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
Arxiv
0+阅读 · 11月13日
The internal languages of univalent categories
Arxiv
0+阅读 · 12月1日
Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Arxiv
0+阅读 · 11月27日
On Improving Deep Active Learning with Formal Verification
Arxiv
0+阅读 · 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日
Model Checking Access Control Policies: A Case Study using Google Cloud IAM
Arxiv
0+阅读 · 2023年3月29日
参考链接
微信扫码咨询专知VIP会员
Top