Text this: On the formal verification of conflict detection algorithms /