Context-Bounded Analysis for POWER-Reference-Cited by-同舟云学术

Context-Bounded Analysis for POWER

Published:2017 Issue: Volume: Page:56-74
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Abdulla Parosh Aziz,Atig Mohamed Faouzi,Bouajjani Ahmed,Ngo Tuan Phong

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-662-54580-5_4

Reference40 articles.

1. SV-COM17 benchmark suit (2017). https://sv-comp.sosy-lab.org/2017/benchmarks.php

2. Lecture Notes in Computer Science;PA Abdulla,2015

3. Abdulla, P.A., Atig, M.F., Bouajjani, A., Ngo, T.P.: The benefits of duality in verifying concurrent programs under TSO. In: CONCUR. LIPIcs, vol. 59, pp. 5:1–5:15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2016)

4. Lecture Notes in Computer Science;PA Abdulla,2012

5. Lecture Notes in Computer Science;PA Abdulla,2012

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity;Lecture Notes in Computer Science;2024

2. AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27

3. Reconciling Preemption Bounding with DPOR;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. Compositional reasoning for non-multicopy atomic architectures;Formal Aspects of Computing;2022-12-14

5. Unifying Operational Weak Memory Verification: An Axiomatic Approach;ACM Transactions on Computational Logic;2022-10-20