Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.

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

Browse the full TACAS paper archive.