会员服务
Systematic Design of Separation Logics
Arxiv
0+阅读 · 5月20日
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
Arxiv
0+阅读 · 5月20日
Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
Arxiv
0+阅读 · 5月22日
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
Arxiv
0+阅读 · 5月11日
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
Arxiv
0+阅读 · 4月14日
Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
Arxiv
0+阅读 · 3月20日
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
Arxiv
0+阅读 · 4月17日
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
Arxiv
0+阅读 · 4月27日
Hyper Separation Logic (extended version)
Arxiv
0+阅读 · 4月14日
Hyper Separation Logic (extended version)
Arxiv
0+阅读 · 4月20日
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
Arxiv
0+阅读 · 2月6日
Uniqueness is Separation
Arxiv
0+阅读 · 2月6日
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
Arxiv
0+阅读 · 2月5日
Recursive Mutexes in Separation Logic
Arxiv
0+阅读 · 1月30日
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
Arxiv
0+阅读 · 1月20日
参考链接
微信扫码咨询专知VIP会员
Top