Interference relation-guided SMT solving for multi-threaded program verification.

Hongyu Fan, Weiting Liu, Fei He

Browse the full PPoPP paper archive.