Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,automatic verification of d-sepsetand the acyclicity of the overall structure is desired. Althoughverification has been implementedin a time-sharing fashion, newissues must be resolvedin order to performsuchverification of an MSBNin a distributed environment. Wediscuss these issues and algorithmsfor verification in a distributed environment.