이것은 최신 릴리스를 ataoproject_1.2.beta.zip으로 다운로드할 수 있는 Alternating Timed Automata Solver라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks와 함께 Alternating Timed Automata Solver라는 이 앱을 무료로 다운로드하여 온라인으로 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
Timed Automata 솔버를 번갈아 가며
Ad
기술
우리의 목표는 MTL에서 ATA까지 지원하는 Python에서 ATA(1 클럭 포함)에 대한 완전한 작동 솔버를 개발하는 것입니다. 공허 문제에 대한 결정 가능성은 Lasota와 Walukiewicz가 제안했습니다. ATA에 대한 MTL은 Ouaknine과 Worrell이 제안했습니다.
특징
- Alternating Timed Automata 공허 솔버
- MTL에서 ATA로 변환
- 공통 ATA 작업(Union, Complementation, Intersection, Model 확인)
오디언스 (Audience)
정보 기술 기업
사용자 인터페이스
Qt
프로그래밍 언어
Python
데이터베이스 환경
XML 기반
https://sourceforge.net/projects/atao/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
