会员服务
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
Arxiv
0+阅读 · 5月14日
Relational Dualities and Bisimulation
Arxiv
0+阅读 · 5月7日
A Program Logic for Abstract (Hyper)Properties
Arxiv
0+阅读 · 4月21日
LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software
Arxiv
0+阅读 · 4月14日
Cerisier: A Program Logic for Attestation in a Capability Machine
Arxiv
0+阅读 · 4月15日
Cerisier: A Program Logic for Attestation in a Capability Machine
Arxiv
0+阅读 · 4月16日
RustyDL: A Program Logic for Rust
Arxiv
0+阅读 · 2月25日
Owicki--Gries Logic for Timestamp Semantics
Arxiv
0+阅读 · 2月16日
A Program Logic for Abstract (Hyper)Properties
Arxiv
0+阅读 · 1月28日
A Program Logic for Under-approximating Worst-case Resource Usage
Arxiv
0+阅读 · 1月20日
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
Arxiv
0+阅读 · 1月21日
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
Arxiv
0+阅读 · 2025年11月25日
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
Arxiv
0+阅读 · 2025年11月28日
参考链接
微信扫码咨询专知VIP会员
Top