Results for Computer Program Validation