Z3 formal verification

Z3 SMT 솔버를 사용해 정형화된 문제의 전제와 쿼리가 주장 답을 지지하는지 여부를 기계적으로 확인하는 절차이다.