반응형
영상제목: 분산 알고리즘 검증을 위한 소프트웨어 모델 체킹(Software Model Checking for Verifying Distributed Algorithms)
발표자: Sagar Chaki
영상길이: 11분 06초
게시자: Software Engineering Institute | Carnegie Mellon University
게시일: 2015년 7월 21일
출처: https://www.youtube.com/watch?v=hTbI0t7pNtM
모델 체킹 기반 분산 소프트웨어 검증 방법에 대한 연구를 소개한 영상(자동차의 충돌 회피 알고리즘 예로 들어 설명함)
반응형
'시스템유형별 > 분산' 카테고리의 다른 글
| 페이퍼요약 – 클라우드 테스팅: 이슈, 과제, 요구사항, 관행 by Gao (0) | 2020.01.16 |
|---|---|
| 문서요약 - 분산 시스템의 모델 기반 테스팅 by Saifan (0) | 2018.05.07 |
| 페이퍼요약 - 분산 인터넷 시스템 테스팅 사례 연구 by GOESCHL (0) | 2018.05.04 |
| 페이퍼요약 - TTCN-3 분산 시스템 블랙박스 테스팅을 위한 신규 테스트 명세 언어 by Grabowski (0) | 2018.05.02 |
| 문서요약 - OSI 적합성 테스팅의 개요 by Tretmans (0) | 2018.04.30 |