Author:
Bouajjani Ahmed,Emmi Michael,Enea Constantin,Hamza Jad
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2013
2. Alur, R., McMillan, K.L., Peled, D.: Model-checking of correctness conditions for concurrent objects. Inf. Comput. 160(1–2) (2000)
3. Lecture Notes in Computer Science;A Bouajjani,2013
4. Bouajjani, A., Emmi, M., Enea, C., Hamza, J.: Tractable refinement checking for concurrent objects. In: POPL 2015. ACM (2015)
5. Bouajjani, A., Emmi, M., Enea, C., Hamza, J.: On reducing linearizability to state reachability. CoRR, abs/1502.06882 (2015).
arxiv.org/abs/1502.06882
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A concurrent program logic with a future and history;Proceedings of the ACM on Programming Languages;2022-10-31
2. Verifying concurrent multicopy search structures;Proceedings of the ACM on Programming Languages;2021-10-20
3. Automated Verification of Concurrent Search Structures;Synthesis Lectures on Computer Science;2021-06-01
4. Decomposing Data Structure Commutativity Proofs with $$m\!n$$-Differencing;Lecture Notes in Computer Science;2021
5. Proving highly-concurrent traversals correct;Proceedings of the ACM on Programming Languages;2020-11-13