23 citations · 23 across the 1 of their papers we have counts for
1 paper
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani +1
We address the problem of verifying safety properties of concurrent programs running over the Total Store Order (TSO) memory model. Known decision procedures for this model are bas…