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