Showing results 1 to 2 of 2
Finding Optimum Abstractions in Parametric Dataflow Analysis Zhang, Xin; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.6, pp.365 - 376, 2013-06 |
Path abstraction based counterexample checker for abstract model checking = 추상화 기반의 모델체킹을 위한 Path Abstraction 기반의 반례 검사 기법link Lee, Nak Won; 이낙원; et al, 한국과학기술원, 2015 |
Discover