Dynamic models in treaty verification