Validating a program