Author:
Cook Byron,Gotsman Alexey,Podelski Andreas,Rybalchenko Andrey,Vardi Moshe Y.
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions;Proceedings of the ACM on Programming Languages;2024-01-05
2. Higher-Order MSL Horn Constraints;Proceedings of the ACM on Programming Languages;2023-01-09
3. HFL(Z) Validity Checking for Automated Program Verification;Proceedings of the ACM on Programming Languages;2023-01-09
4. Fair termination of binary sessions;Proceedings of the ACM on Programming Languages;2022-01-12
5. An Overview of the HFL Model Checking Project;Electronic Proceedings in Theoretical Computer Science;2021-09-13