A search algorithm for calculating validated reliability bounds