program validator