@misc(cubiclew,
 note         = {\url{http://cubicle.lri.fr/cubiclew/}},
)
@inproceedings(dualtso,
 author       = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Ahmed Bouajjani and Tuan Phong Ngo},
 year         = {2016},
 title        = {The Benefits of Duality in Verifying Concurrent Programs under {TSO}},
 booktitle    = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada},
 pages        = {5:1--5:15},
 doi          = {10.4230/LIPIcs.CONCUR.2016.5},
)
@inproceedings(abdullatacas2007,
 author       = {Parosh Aziz Abdulla and Giorgio Delzanno and Noomene Ben Henda and Ahmed Rezine},
 year         = {2007},
 title        = {Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings},
 pages        = {721--736},
 doi          = {10.1007/978-3-540-71209-1_56},
)
@inproceedings(undipcav2007,
 author       = {Parosh Aziz Abdulla and Giorgio Delzanno and Ahmed Rezine},
 year         = {2007},
 title        = {Parameterized Verification of Infinite-State Processes with Global Conditions},
 booktitle    = {Computer Aided Verification, 19th International Conference, {CAV} 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
 pages        = {145--157},
 doi          = {10.1007/978-3-540-73368-3_17},
)
@article(herdingcats,
 author       = {Jade Alglave and Luc Maranget and Michael Tautschnig},
 year         = {2014},
 title        = {Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {36},
 number       = {2},
 pages        = {7:1--7:74},
 doi          = {10.1145/2627752},
)
@article(AK86,
 author       = {Krzysztof R. Apt and Dexter Kozen},
 year         = {1986},
 title        = {Limits for Automatic Verification of Finite-State Concurrent Systems},
 journal      = {Inf. Process. Lett.},
 volume       = {22},
 number       = {6},
 pages        = {307--309},
 doi          = {10.1016/0020-0190(86)90071-2},
)
@inproceedings(parammc,
 author       = {Edmund M. Clarke and Orna Grumberg and Michael C. Browne},
 year         = {1986},
 title        = {Reasoning About Networks With Many Identical Finite-State Processes},
 booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, August 11-13, 1986},
 pages        = {240--248},
 doi          = {10.1145/10590.10611},
)
@inproceedings(cubicletool,
 author       = {Sylvain Conchon and Amit Goel and Sava Krstic and Alain Mebsout and Za{\"{\i}}di, Fatiha},
 year         = {2012},
 title        = {Cubicle: {A} Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper},
 booktitle    = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
 pages        = {718--724},
 doi          = {10.1007/978-3-642-31424-7_55},
)
@article(German92,
 author       = {Steven M. German and A. Prasad Sistla},
 year         = {1992},
 title        = {Reasoning about Systems with Many Processes},
 journal      = {J. {ACM}},
 volume       = {39},
 number       = {3},
 pages        = {675--735},
 doi          = {10.1145/146637.146681},
)
@inproceedings(arraybased,
 author       = {Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli},
 year         = {2008},
 title        = {Towards {SMT} Model Checking of Array-Based Systems},
 booktitle    = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
 pages        = {67--82},
 doi          = {10.1007/978-3-540-71070-7_6},
)
@inproceedings(mcmt,
 author       = {Silvio Ghilardi and Silvio Ranise},
 year         = {2010},
 title        = {{MCMT:} {A} Model Checker Modulo Theories},
 booktitle    = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010, Edinburgh, UK, July 16-19, 2010. Proceedings},
 pages        = {22--29},
 doi          = {10.1007/978-3-642-14203-1_3},
)
@article(x86tsoshort,
 author       = {Peter Sewell and Susmit Sarkar and Scott Owens and Francesco Zappa Nardelli and Magnus O. Myreen},
 year         = {2010},
 title        = {x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors},
 journal      = {Commun. {ACM}},
 volume       = {53},
 number       = {7},
 pages        = {89--97},
 doi          = {10.1145/1785414.1785443},
)