SLAM 프로젝트

SLAM project

1999년 마이크로소프트 리서치의 토마스 볼과 스리람 라자마니가 시작한 SLAM 프로젝트는 모델 체크 기술을 이용해 소프트웨어의 안전성을 검증하는 것을 목적으로 했다.OCaml에서 구현되어 Windows Device Drivers에서 많은 버그를 발견하기 위해 사용되고 있습니다.Microsoft Windows Driver Foundation 개발 키트의 일부로서 SDV(Static Driver Verifier)로서 배포됩니다."SLAM은 원래 약자였지만 설명하기가 너무 번거롭습니다.이제는 프로그램의 [1]버그를 '삭제'하는 것을 더 선호합니다."처음에는 "소프트웨어(사양), 프로그래밍 언어, 추상화 및 모델 검사"[2]를 의미했습니다.그 후 Microsoft는 SLAM을 "Social Location Annotation Mobile"[3]의 약자로 재사용하고 있습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Ball, Thomas; Cook, Byron; Levin, Vladimir; 및 Rajamani, Sriram K.; SLAM 및 정적 드라이버 검증자: Microsoft 내부에서의 정식 방법의 기술 이전, 컴퓨터 사이언스 강의 노트(LNCS), Vol. 2999: Boiten, Eerke A., Derrick, John, Smith, Graeme; eds.제4회 통합형식방법에 관한 국제회의(IFM 2004), 2004년 4월 4-7일, 캔터베리, GB, 스프링거, 베를린/하이델베르크, 페이지 1-20
  2. ^ Ball, Thomas, Levin, Vladimir, Rajamani, Sriram K., SLAM에 의한 10년간의 소프트웨어 모델 확인; Communications of the ACM, Vol. 54(7), 페이지 68-76 (2011년 7월)
  3. ^ Montdok, Matt, Microsoft의 Slam: 계속 연락하고 친구를 스토킹하다; Ars Technica, 2006년 10월 10일

외부 링크

Stub icon

이 컴퓨터 공학 관련 기사는 엉터리입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.