On the Formal Verification of Conflict Detection Algorithms door United States Government