tlaplus

이 문서는 TLA⁺ 재단에서 관리하는 오픈 소스 프로젝트인 TLA⁺ 도구 및 도구 상자에 대한 개요를 제공합니다. 도구의 사용법, 개발 프로세스, 라이센스 및 기여 지침을 자세히 설명합니다. 시험판 버전을 사용할 수 있으며 Java 종속성 패키지는 다른 프로젝트에 통합하기 위해 게시됩니다. TLA⁺ 자체 및 증명 관리자에 대한 자세한 내용은 제공된 링크에서 확인할 수 있습니다.

개요

이 저장소는 핵심 TLA⁺ 명령줄 인터페이스(CLI) 도구 및 도구 상자 통합 개발 환경(IDE)을 호스팅합니다.

개발은 TLA⁺ 재단에서 관리합니다.

TLA⁺ 자체에 대한 자세한 내용은 http://tlapl.us를 참조하세요.

TLA⁺ 증명 관리자에 대해서는 http://proofs.tlapl.us를 참조하세요.

버전이 지정된 릴리스는 릴리스 페이지에서 찾을 수 있습니다.

현재 마스터 브랜치에 대한 모든 커밋은 1.8.0 Clarke 사전 릴리스에 빌드 및 업로드됩니다.

최신 수정 사항 및 기능을 원할 경우 해당 시험판을 사용할 수 있습니다.

소프트웨어 프로젝트에서 TLA⁺ 도구를 Java 종속성으로 사용하려는 경우 Maven 패키지가 정기적으로 oss.sonatype.org에 게시됩니다.

사용

TLA⁺ 도구를 실행하려면 Java 11 이상이 필요합니다.

tla2tools.jar 파일에는 여러 TLA⁺ 도구가 포함되어 있습니다.

다음과 같이 사용할 수 있습니다.

CLASSPATH 환경 변수에 tla2tools.jar을 추가하는 경우 -cp tla2tools.jar 매개변수를 건너뛸 수 있습니다.

java -jar tla2tools.jar 실행은 java -cp tla2tools.jar tlc2.TLC로 별칭이 지정됩니다.

개발 및 기여

TLA⁺ 도구 및 도구 상자 IDE는 모두 Java로 작성되었습니다.

TLA⁺ 도구 소스 코드는 tlatools/org.lamport.tlatools에 있습니다.

Toolbox IDE는 Eclipse 플랫폼을 기반으로 하며 toolbox 디렉토리에 있습니다.

개발 환경 설정 및 구축 및 테스트에 대한 지침은 DEVELOPING.md를 참조하세요.

이 오픈 소스 프로젝트에 대한 귀하의 기여를 환영합니다!

TLA⁺는 안전이 중요한 시스템에 사용되므로 품질 유지를 보장하기 위한 기여 프로세스가 마련되어 있습니다. 작업을 시작하기 전에 CONTRIBUTING.md를 읽어보세요.

라이센스 및 저작권

저작권 © 199? HP 주식회사

저작권 © 2003 Microsoft Corporation

저작권 © 2023 리눅스 재단

MIT 라이선스에 따라 라이선스가 부여됩니다.