会员服务
Bounded Model Checking for Unbounded Client Server Systems
Arxiv
0+阅读 · 2月18日
On the $Σ^0_1$-Completeness of Cubic Diophantine Systems and their Consequences for Equations
Arxiv
0+阅读 · 2月17日
Formalising the Bruhat-Tits Tree
Arxiv
0+阅读 · 2月17日
Evaluating LLM-Generated ACSL Annotations for Formal Verification
Arxiv
0+阅读 · 2月14日
Generalized Decidability via Brouwer Trees
Arxiv
0+阅读 · 2月11日
Automated Proof Generation for Rust Code via Self-Evolution
Arxiv
0+阅读 · 2月14日
Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
Arxiv
0+阅读 · 2月13日
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
Arxiv
0+阅读 · 2月11日
Compiling High-Level Neural Network Specifications into VNN-LIB Queries
Arxiv
0+阅读 · 2月12日
Uniqueness is Separation
Arxiv
0+阅读 · 2月6日
STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
Arxiv
0+阅读 · 2月5日
CSLib: The Lean Computer Science Library
Arxiv
0+阅读 · 2月4日
A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
Arxiv
0+阅读 · 2月3日
A No-go Theorem for Coalgebraic Product Construction
Arxiv
0+阅读 · 2月1日
SpecIBT: Formally Verified Protection Against Speculative Control-Flow Hijacking
Arxiv
0+阅读 · 1月30日
参考链接
微信扫码咨询专知VIP会员
Top