멀티코어 소프트웨어를 위한 효과적인 자료경합 검증 기술의 연구 (2차년도)