호어 로직

호어 로직(Hoare logic)은 토니 호어가 개발한 프로그램 논리이다.