Z3 for Reverse Engineering: Modeling, Debugging and Solving

검증 로직을 수식으로 정리하고 Z3로 풀어내는 흐름을 리버싱 관점에서 정리