Verification under TSO with an infinite Data Domain.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg

Browse the full TACAS paper archive.