자동 추론
컴퓨터 프로그램을 사용하여 논리적 추론을 수행하고 시스템이 의도한 대로 작동하는지 수학적으로 증명하는 기술이다. 보안 정책 검증이나 코드 오류 탐지에 필수적이다.
매일 10억 건의 보안 체크, 스탠퍼드와 아마존이 만든 오픈소스의 힘