Browse "School of Computing(전산학부)" by Subject Verification

Showing results 1 to 21 of 21

1
A Formal C Memory Model Supporting Integer-Pointer Casts

Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.50, no.6, pp.326 - 335, 2015-06

2
Abstractions from Tests

Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01

3
(An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link

Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000

4
Compositional Shape Analysis by Means of Bi-Abduction

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12

5
Compositional Shape Analysis by means of Bi-Abduction

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter; Yang, Hongseok, ACM SIGPLAN NOTICES, v.44, no.1, pp.289 - 300, 2009-01

6
Consistency checking between Models in object-oriented analysis = 객체 지향 분석 모형간의 일관성 진단link

Chun, Wang-Sung; 천왕성; et al, 한국과학기술원, 1997

7
Controlled composition and abstraction for bottom-up integration and verification of abstract components

Choi, Y; Kim, Moonzoo, INFORMATION AND SOFTWARE TECHNOLOGY, v.54, no.1, pp.119 - 136, 2012-01

8
Detection of Harmful Schizophrenic Statements in Esterel

Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; Choe, Kwang-Moo; Han, Tai-Sook, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03

9
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

10
Modular Verification of Preemptive OS Kernels

Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09

11
PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink

김태호; Kim, Tae-Ho; et al, 한국과학기술원, 1997

12
Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services

Kwon, Youngjin; Dunn, Alan M.; Lee, Michael Z.; Hofmann, Owen S.; Xu, Yuanzhong; Witchel, Emmett, ACM SIGPLAN NOTICES, v.51, no.4, pp.277 - 290, 2016-04

13
Separation and Information Hiding

O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3, 2009-04

14
SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link

조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999

15
Step-Indexed Kripke Models over Recursive Worlds

Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01

16
Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link

Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998

17
Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link

Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001

18
Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link

Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999

19
VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink

김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007

20
Views: Compositional Reasoning for Concurrent Programs

Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01

21
객체 지향 요구 명세의 동적 행위 검증을 위한 방법 = An approach to verification of dynamic behavior in object-oriented requirements specificationlink

백진욱; Baek, Jin-Wook; et al, 한국과학기술원, 1997

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0