- 요약
- Abstract
- 1. 서론
- 2. 사전지식
- 3. 제안기법
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A103535271
2017
Korean
569
KCI우수등재
학술저널
1034-1044(11쪽)
0
0
상세조회0
다운로드목차 (Table of Contents)
참고문헌 (Reference)
1 Albarghouthi, Aws, "Ufo: A framework for abstraction-and interpolation-based software verification" Springer Berlin Heidelberg 2012
2 Beyer, Dirk, "The software model checker Blast" 9 (9): 505-525, 2007
3 Beyer, Dirk, "Software verification and verifiable witnesses" Springer Berlin Heidelberg 2015
4 Beyer, Dirk, "Software model checking via large-block encoding" IEEE 2009
5 Beyer, Dirk, "Predicate abstraction with adjustableblock encoding" FMCAD Inc. 2010
6 McMillan, Kenneth L., "Lazy abstraction with interpolants" Springer Berlin Heidelberg 2006
7 Albarghouthi, Aws, "From under-approximations to over-approximations and back" Springer Berlin Heidelberg 2012
8 Allen, Frances E., "Control flow analysis" ACM 5 (5): 1970
9 Beyer, Dirk, "CPAchecker:A tool for configurable software verification" Springer Berlin Heidelberg 2011
1 Albarghouthi, Aws, "Ufo: A framework for abstraction-and interpolation-based software verification" Springer Berlin Heidelberg 2012
2 Beyer, Dirk, "The software model checker Blast" 9 (9): 505-525, 2007
3 Beyer, Dirk, "Software verification and verifiable witnesses" Springer Berlin Heidelberg 2015
4 Beyer, Dirk, "Software model checking via large-block encoding" IEEE 2009
5 Beyer, Dirk, "Predicate abstraction with adjustableblock encoding" FMCAD Inc. 2010
6 McMillan, Kenneth L., "Lazy abstraction with interpolants" Springer Berlin Heidelberg 2006
7 Albarghouthi, Aws, "From under-approximations to over-approximations and back" Springer Berlin Heidelberg 2012
8 Allen, Frances E., "Control flow analysis" ACM 5 (5): 1970
9 Beyer, Dirk, "CPAchecker:A tool for configurable software verification" Springer Berlin Heidelberg 2011
Network Topology Discovery with Load Balancing for IoT Environment
Static Analysis of Large Scale Software Repositories Using WALA and Boa
Context Based Real-time Korean Writing Correction for Foreigners
Motion Area Detection Algorithm based on Irregularity of Light
학술지 이력
연월일 | 이력구분 | 이력상세 | 등재구분 |
---|---|---|---|
2021 | 평가예정 | 계속평가 신청대상 (등재유지) | |
2016-01-01 | 평가 | 우수등재학술지 선정 (계속평가) | |
2015-01-01 | 평가 | 등재학술지 유지 (등재유지) | |
2002-01-01 | 평가 | 학술지 통합 (등재유지) |
학술지 인용정보
기준연도 | WOS-KCI 통합IF(2년) | KCIF(2년) | KCIF(3년) |
---|---|---|---|
2016 | 0.19 | 0.19 | 0.19 |
KCIF(4년) | KCIF(5년) | 중심성지수(3년) | 즉시성지수 |
0.2 | 0.18 | 0.373 | 0.07 |