Title: Compliance quantified
Subjects: Mathematical models, Arms control, Numerical calculations, Verification