Title: On the Formal Verification of Conflict Detection Algorithms