분석 개발 알고리즘 및 검증과 같은 실행 가능한 컴퓨터 프로그램에 대한 컴퓨팅 문제