This thesis focuses upon a new method for verifying the correct operation of a complex, high speed fiber optic communication network. These networks are of growing importance to the military because of their increased connectivity, survivability, and recohttp://archive.org/details/aformalprotocolt1094539864Lieutenant, United States NavyApproved for public release; distribution is unlimited