论文信息 - On the State Reachability Problem for Concurrent Programs Under Power - 字舞流文

On the State Reachability Problem for Concurrent Programs Under Power

Parosh Aziz Abdulla | Mohamed Faouzi Atig | Roland Meyer | Ahmed Bouajjani | Egor Derevenetc | Carl Leonardsson | P. Abdulla | A. Bouajjani | Egor Derevenetc | M. Atig | R. Meyer | C. Leonardsson

[1] Parosh Aziz Abdulla,et al. Stateless Model Checking for POWER , 2016, CAV.

[2] Rajeev Alur,et al. An Axiomatic Memory Model for POWER Multiprocessors , 2012, CAV.

[3] Parosh Aziz Abdulla,et al. Context-Bounded Analysis for POWER , 2017, TACAS.

[4] Roland Meyer,et al. Robustness against Power is PSpace-complete , 2014, ICALP.

[5] Leslie Lamport,et al. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

[6] Roland Meyer,et al. BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings , 2019, CAV.

[7] Herding Cats , 2013, ACM Trans. Program. Lang. Syst..

[8] Sebastian Burckhardt,et al. What's Decidable about Weak Memory Models? , 2012, ESOP.