Safety and liveness, on a timeline

violated at a moment versus judged over an unbounded run