상단 품질 보증 및 테스트 소프트웨어 에 Alexandre David

UPPAAL 모델링, 검증 및 데이터 유형 확장 타임 드 오토마타의 네트워크 (경계 정수, 배열 등)로서 모델링 실시간 시스템의 검증을위한 통합 툴 환경이다.UPPAAL 코라는 VHS와하기 Ametist 프로젝트의 일환으로 UPPAAL 팀에 의해 개발 비용 최적의 도달 가능성 Anslysis에 대한 UPPAAL의 지점입니다. UPPAAL는 시간 제한 오토마타의 모델 검사를 지원하는 반면, UPPAAL 코라는 LPTA라는 시간 제한 오토마타의 확장을...