1. [n.d.]. Software Verification Competition Benchmarks. https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/svcomp19/. [n.d.]. Software Verification Competition Benchmarks. https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/svcomp19/.
2. Optimal dynamic partial order reduction
3. Parosh Aziz Abdulla , Stavros Aronis , Mohamed Faouzi Atig , Bengt Jonsson, Carl Leonardsson, and Konstantinos Sagonas. 2015 . Stateless Model Checking for TSO and PSO. CoRR abs/1501.02069 (2015). arXiv:1501.02069 Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, and Konstantinos Sagonas. 2015. Stateless Model Checking for TSO and PSO. CoRR abs/1501.02069 (2015). arXiv:1501.02069
4. Parosh Aziz Abdulla , Mohamed Faouzi Atig , Bengt Jonsson, and Carl Leonardsson. 2016 . Stateless Model Checking for POWER. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing , Cham, 134--156. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Carl Leonardsson. 2016. Stateless Model Checking for POWER. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing, Cham, 134--156.
5. Optimal stateless model checking for reads-from equivalence under sequential consistency