프로그램 하이퍼프로퍼티 증명 및 반증을 위한 하이퍼 호어 로직

하이퍼 호어 로직은 프로그램 하이퍼프로퍼티를 증명하거나 반증할 수 있는 일반적이고 강력한 프로그램 논리이다.