-. Cubicle,

P. A. Abdulla, M. F. Atig, A. Bouajjani, and T. P. Ngo, The benefits of duality in verifying concurrent programs under TSO, 2016.

P. A. Abdulla, M. F. Atig, Y. Chen, C. Leonardsson, and A. Rezine, Memorax, a precise and sound tool for automatic fence insertion under TSO, 2013.

P. A. Abdulla, G. Delzanno, N. B. Henda, and A. Rezine, Regular model checking without transducers, 2007.

P. A. Abdulla, G. Delzanno, and A. Rezine, Parameterized verification of infinite-state processes with global conditions, 2007.

J. Alglave, A. Fox, S. Ishtiaq, M. O. Myreen, S. Sarkar et al., The semantics of power and arm multiprocessor machine code, 2008.

J. Alglave, D. Kroening, V. Nimal, and M. Tautschnig, Software verification for weak memory via program transformation, 2013.

J. Alglave, L. Maranget, and M. Tautschnig, Herding cats: Modelling, simulation, testing, and data mining for weak memory, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01081413

K. R. Apt and D. C. Kozen, Limits for automatic verification of finite-state concurrent systems, Inf. Process. Lett, 1986.

A. Bouajjani, G. Calin, E. Derevenetc, and R. Meyer, Lazy tso reachability, 2015.

A. Bouajjani, E. Derevenetc, and R. Meyer, Checking and enforcing robustness against tso, 2013.

E. M. Clarke, O. Grumberg, and M. C. Browne, Reasoning about networks with many identical finite-state processes, 1986.

S. Conchon, A. Goel, S. Krsti?, A. Mebsout, and F. Zaïdi, Cubicle: A parallel smtbased model checker for parameterized systems: Tool paper, 2012.

S. Conchon, A. Goel, S. Krstic, A. Mebsout, and F. Zaidi, Invariants for Finite Instances and Beyond, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00924640

S. Conchon, A. Mebsout, and F. Zaïdi, Certificates for parameterized model checking, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01761274

S. M. German and A. P. Sistla, Reasoning about systems with many processes, J, 1992.

S. Ghilardi and S. Ranise, MCMT: A model checker modulo theories, 2010.

H. J. Goeman, The arbiter: an active system component for implementing synchronizing primitives, Fundam. Inform, 1981.

M. Herlihy and N. Shavit, The Art of Multiprocessor Programming, 2008.

L. Lamport, How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE Trans. Comput, 1979.

S. Owens, S. Sarkar, and P. Sewell, A better x86 memory model: X86-TSO, 2009.

P. Sewell, S. Sarkar, S. Owens, F. Z. Nardelli, and M. O. Myreen, X86-TSO: A rigorous and usable programmer's model for x86 multiprocessors, 2010.