1277.81 기호적 모델 검사 (Symbolic Model Checking)