Title: Formal Verification of a Conflict Resolution and Recovery Algorithm