소프트웨어 분석 기술은 프로그램 실행은 실제 값 대신 변수 이름 등의 기호를 사용 하 여 입력된 데이터에 대 한 시뮬레이션 및 출력 하는 프로그램은 이러한 기호를 포함 하는 논리적 또는 수학적인 식으로 표현 됩니다.