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