Stateless Model Checking for TSO and PSO.

Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas

Browse the full TACAS paper archive.