소프트웨어 스크린 샷:
UPPAAL TIGA는 UPPAAL [BDL04]의 확장이며 도달 가능성 및 안전 특성에 대한 시간 제한 게임 오토마타 기반으로 게임을 해결하기위한 최초의 효율적인 온 - 더 - 플라이 알고리즘을 구현한다.
긴 용 타이밍 된 게임이 decidable 것으로 알려져 왔지만, 지금까지 그 분석 효율적인 진정 즉석 알고리즘의 부족이있다.
UPPAAL TIGA는 해당 서버와 사용자 친화적 인 그래픽 인터페이스 및 명령 행 검증을 제공합니다.
우리 [CDFLL05] 제안 알고리즘은 유한 상태 시스템의 선형 시간 체크를위한 모델 류 및 스 몰카 [LS98]에 의해 제안 즉석 알고리즘의 상징적 확장이다. 전체 상태 공간을 탐구하는 데 전에 온 - 더 - 플라이이기 때문에, 상징적 인 알고리즘은 긴 해지 할 수 있습니다.
또한, 알고리즘의 각 단계는 내부 데이터 구조와 같은 소위 영역을 이용하여 효율적으로 수행된다. 우리의 도구는 다양한 기본 알고리즘의 최적화 기호뿐만 아니라, (도달 게임용) 시간 최적이기는 전략을 얻기위한 방법을 구현한다.
이 릴리스의 새로운 기능 :
댓글을 찾을 수 없습니다