기호적 상태표현 방법을 이용한 병행적 시스템의 검증