과제정보
연구 과제번호 : 소프트웨어 중심 시스템을 위한 인공지능 기반의 정량적 품질 예측 및 평가 기법 연구
연구 과제 주관 기관 : 한국연구재단
참고문헌
- Beyer, Dirk, et al., "The software model checker Blast," International Journal on Software Tools for Technology Transfer 9.5-6, pp. 505-525, 2007. https://doi.org/10.1007/s10009-007-0044-z
- Beyer, Dirk, et al., "Software model checking via large-block encoding," Formal Methods in Computer-Aided Design, 2009. FMCAD 2009. IEEE, 2009.
- Beyer, Dirk, M. Erkan Keremoglu, and Philipp Wendler, "Predicate abstraction with adjustableblock encoding," Proc. of the 2010 Conference on Formal Methods in Computer-Aided Design, FMCAD Inc., 2010.
- Albarghouthi, Aws, Arie Gurfinkel, and Marsha Chechik, "From under-approximations to over-approximations and back," International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2012.
- Allen, Frances E., "Control flow analysis," ACM Sigplan Notices, Vol. 5, No. 7, ACM, 1970.
- McMillan, Kenneth L., "Lazy abstraction with interpolants," International Conference on Computer Aided Verification, Springer Berlin Heidelberg, 2006.
- Beyer, Dirk, and M. Erkan Keremoglu, "CPAchecker: A tool for configurable software verification," International Conference on Computer Aided Verification, Springer Berlin Heidelberg, 2011.
- Beyer, Dirk, "Software verification and verifiable witnesses," International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, 2015.
- Albarghouthi, Aws, et al., "Ufo: A framework for abstraction-and interpolation-based software verification," International Conference on Computer Aided Verification. Springer Berlin Heidelberg, 2012.