Parameterized Verification under TSO with Data Types

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach +4

We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially inf…