Duplicate title to Avenhaus, R. & Canty, M. (1998). Verifying the absence of undeclared activities. In: Proceedings of an ESARDA Seminar on Modern Verification Regimes: Similarities, Synergies and Challenges.