Author:
Raad Azalea,Villard Jules,Gardner Philippa
Publisher
Springer Berlin Heidelberg
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scenario-Based Proofs for Concurrent Objects;Proceedings of the ACM on Programming Languages;2024-04-29
2. Concise outlines for a complex logic: a proof outline checker for TaDA;Formal Methods in System Design;2022-08
3. Diaframe: automated verification of fine-grained concurrent programs in Iris;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Concurrent incorrectness separation logic;Proceedings of the ACM on Programming Languages;2022-01-12
5. Verifying concurrent multicopy search structures;Proceedings of the ACM on Programming Languages;2021-10-20