Counter-Example Guided Fence Insertion under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine

Browse the full TACAS paper archive.