Algorithms for black-box safety validation