Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2001.10a
  • /
  • Pages.466-468
  • /
  • 2001
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Model Checking of Object Oriented Software using Bandera toolset

Banders Toolset을 이용한 객체지향형 소프트웨어 모델 체킹

  • Published : 2001.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

객체지향형 소프트웨어가 개발되고 분산 시스템에 적용되면서 소프트웨어 시스템의 분석 및 안전상의 보장이 매우 어려워지고 있다. 정형 기법을 이용해서 소프트웨어 시스템의 안전성을 증명하는 연구가 진행되고 있지만 소스코드 레벨에서의 보장은 아직 어려운 상태이다. 본 연구에서는 이러한 소프트웨어 시스템의 소스코드 레벨에서의 안전성 보장을 위한 연구로 Bandera toolset 을 이용한 정형검증에 대해 논한다.

Keywords