이것은 최신 릴리스를 tla2tools.jar로 다운로드할 수 있는 tlaplus라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks를 사용하여 tlaplus라는 이 앱을 무료로 다운로드하여 온라인으로 실행하세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 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. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린 샷
Ad
틀라플러스
기술
TLC는 TLA+로 작성된 사양에 대한 명시적 상태 모델 검사기입니다. TLA+Toolbox는 TLA+용 IDE입니다. TLA+는 프로그램과 시스템, 특히 동시 및 분산 시스템을 모델링하기 위한 고급 언어입니다. 이는 사물을 정확하게 설명하는 가장 좋은 방법은 간단한 수학을 사용하는 것이라는 생각에 기반을 두고 있습니다. TLA+와 해당 도구는 찾기 어렵고 코드에서 수정하는 데 비용이 많이 드는 근본적인 설계 오류를 제거하는 데 유용합니다.
기능
- TLC 정보는 명시적 상태 모델 검사기입니다.
- TLA+로 작성된 사양의 경우
- TLA+Toolbox는 TLA+용 IDE입니다.
- TLA+는 프로그램 및 시스템 모델링을 위한 고급 언어입니다.
- TLA+ 및 해당 도구는 근본적인 설계 오류를 제거하는 데 유용합니다.
프로그래밍 언어
자바
카테고리
이는 https://sourceforge.net/projects/tlaplus.mirror/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 시스템 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
