Index of: /newlord-alkkagi/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
release/-2016-Jun-08 22:35
newlord-alkkagi-moni-wiki-data.tar.bz29.0 KiB2016-Jun-08 22:35

newlord-alkkagi:: sa-imc-old

개발자:

Project Description:

Incremental Model Checking 기법을 적용한 Situation-aware application 검증 툴 개발. (2004학년도 1학기 고려대학교 컴퓨터학과 컴파일러 과목의 텀프로젝트입니다.)