Author:
Chu Duc-Hiep,Jaffar Joxan
Publisher
Springer International Publishing
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Commutativity Simplifies Proofs of Parameterized Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. Stratified Commutativity in Verification Algorithms for Concurrent Programs;Proceedings of the ACM on Programming Languages;2023-01-09
3. Sound sequentialization for concurrent program verification;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Verification of Concurrent Programs Using Petri Net Unfoldings;Lecture Notes in Computer Science;2021
5. Symbolic Partial-Order Execution for Testing Multi-Threaded Programs;Computer Aided Verification;2020