Reinforcement design and verification