396.77 런타임 검증(Runtime Verification) 기법