Efficiently and Completely Verifying Synchronized Consistency Models.

Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu

Browse the full ATVA paper archive.