会员服务
Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
Arxiv
0+阅读 · 5月5日
Open-World Assertion Checking for Smart Contracts via Game Semantics
Arxiv
0+阅读 · 4月28日
A Bounded Game Semantics Checker for Precise Smart Contract Analysis
Arxiv
0+阅读 · 2025年12月27日
参考链接
微信扫码咨询专知VIP会员
Top