Fair Model Checking with Process Counter Abstraction.

Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong

Browse the full FM paper archive.