A new safety-check technique can prove with 100 percent accuracy that a planned robot motion will not result in a collision. The method can generate a proof in seconds and does so in a way that can be easily verified by a human.