Showing results 1 to 2 of 2
Reachability analysis and model checking technique for multiple-clock system verification = 다중 클락 시스템 검증을 위한 상태 도달성 분석 및 모델 확인 기술link Yi, Ju-Hwan; 이주환; et al, 한국과학기술원, 2005 |
SAT-Based Unbounded Symbolic Model Checking = 범위를 지정하지 않는 SAT 기반 모델 검증에 관한 연구link Kang, Hyeong-Ju; 강형주; et al, 한국과학기술원, 2005 |
Discover