会员服务
A syntactic proof of decidability for the logic of bunched implication BI
Arxiv
0+阅读 · 1月3日
Safety, Relative Tightness and the Probabilistic Frame Rule
Arxiv
0+阅读 · 1月2日
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Arxiv
0+阅读 · 2025年12月29日
Bayesian Separation Logic
Arxiv
0+阅读 · 2025年12月1日
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
Arxiv
0+阅读 · 2025年11月25日
Stellis: A Strategy Language for Purifying Separation Logic Entailments
Arxiv
0+阅读 · 2025年12月4日
Make flows small again: revisiting the flow framework
Arxiv
0+阅读 · 2023年4月10日
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Arxiv
0+阅读 · 2023年4月11日
Lilac: a Modal Separation Logic for Conditional Probability
Arxiv
0+阅读 · 2023年4月3日
Embedding Hindsight Reasoning in Separation Logic
Arxiv
0+阅读 · 2023年4月5日
参考链接
微信扫码咨询专知VIP会员
Top