UPPAAL - 무료 소프트웨어 다운로드 에 Linux

최근에 본 소프트웨어를

Dam 1 Apr 18
SPy 10 Dec 15
GED 2 May 15
R2V 23 Sep 15
Nex 12 May 15
Pux 10 Feb 16
Big 10 Dec 15
nbp 6 Jun 15
TML 22 Sep 15
SMN 24 Sep 15

UPPAAL 4.0.6

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

카테고리: 개발자 도구, 품질 보증 및 테스트 소프트웨어