An examination of how, in practice, the effective verification of various arms control treaties - including a comprehensive test ban treaty, conventional forces reductions, a fissile material cut-off and a freeze on the development and production of nuclear weapons - can be achieved.