1277.193 확률적 모델 검사의 최신 연구