25.4.2 공식적 안전 보장을 위한 도달 가능 집합(Reachable Set) 계산