Name: Windows용 LTL3DRA 다운로드
Brand: OnWorks
SKU: c20988dce3b13ab231e949599e8deb59
Availability: OnlineOnly
Rating: 4.23 (1834 reviews)

이것은 LTL3DRA라는 Windows 앱으로, 최신 릴리스는 ltl3dra-0.2.6.tar.gz로 다운로드할 수 있습니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.

OnWorks가 포함된 LTL3DRA라는 앱을 무료로 온라인으로 다운로드하여 실행해 보세요.

이 앱을 실행하려면 다음 지침을 따르세요.

- 1. 이 애플리케이션을 PC에 다운로드했습니다.

- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.

- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.

- 4. 이 웹사이트에서 모든 OS OnWorks 온라인 에뮬레이터를 시작하지만 더 나은 Windows 온라인 에뮬레이터를 시작합니다.

- 5. 방금 시작한 OnWorks Windows OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.

- 6. 애플리케이션을 다운로드하여 설치합니다.

- 7. Linux 배포 소프트웨어 저장소에서 Wine을 다운로드합니다. 설치가 완료되면 앱을 두 번 클릭하여 Wine과 함께 실행할 수 있습니다. 인기 있는 Windows 프로그램 및 게임을 설치하는 데 도움이 되는 Wine을 통한 멋진 인터페이스인 PlayOnLinux를 사용해 볼 수도 있습니다.

Wine은 Linux에서 Windows 소프트웨어를 실행하는 방법이지만 Windows가 필요하지 않습니다. Wine은 모든 Linux 데스크탑에서 직접 Windows 프로그램을 실행할 수 있는 오픈 소스 Windows 호환성 계층입니다. 본질적으로 Wine은 Windows가 필요하지 않고 모든 Windows 응용 프로그램을 실행할 수 있도록 Windows를 처음부터 충분히 다시 구현하려고 합니다.

App 다운로드 우분투에서 실행 페도라에서 실행 Windows Sim에서 실행 MACOS Sim에서 실행

LTL3DRA

기술

프로젝트가 github으로 이동되었습니다. 팔로우하세요. https://github.com/xblahoud/ltl3dra

LTL3DRA는 LTL 공식의 단편을 결정론적 Rabin automata로 번역한 것입니다. Tomas Babiak이 작성한 LTL3BA라는 인기 있는 도구를 기반으로 합니다. https://sourceforge.net/projects/ltl3ba/).

LTL3DRA에서 사용된 번역은 다음에서 설명합니다.
T. Babiak, F. Blahoudek, M. Křetínský 및 J. Strejček: LTL을 결정론적 Rabin Automata로 효과적으로 번역: (F,G)-단편을 넘어서(2013)
검증 및 분석을 위한 제11회 국제 심포지엄(ATVA 2013)

LTL3DRA를 컴파일하기 위해 BuDDy 라이브러리(http://sourceforge.net/projects/buddy/)이 필요합니다. 버디 2.4로 테스트했습니다.

LPAR19에 게시된 "Comparison of LTL to Deterministic Rabin Automata Translators" 문서에 사용된 벤치마크는 Files/LPAR19-benchmarks(https://sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/).

카테고리

과학/공학

https://sourceforge.net/projects/ltl3dra/에서도 가져올 수 있는 애플리케이션입니다. 우리의 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.