IDE for the TLA+ tools.
Mô tả của nhà phát hành (Tiếng Anh)
tlaplus-toolbox là gì?
tlaplus-toolbox là phần mềm Windows mã nguồn mở trong danh mục khoa học và toán học. Ngoài Windows, phần mềm còn có phiên bản cho Linux.
Cài đặt và yêu cầu hệ thống
Nhà phát hành cung cấp bộ cài Portable cho hệ thống Mọi kiến trúc CPU. Phần mềm chạy được mà không cần cài đặt (bản portable).
Ưu điểm / Nhược điểm
Ưu điểm
- Mã nguồn mở: ai cũng có thể xem và tự biên dịch
- Bản portable: chạy không cần cài đặt
- Chạy được cả trên Linux
Tóm lại: tlaplus-toolbox là phần mềm Windows mã nguồn mở dành cho máy tính Mọi kiến trúc CPU, thuộc nhóm khoa học và toán học.
Tính năng chính
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
Tải tlaplus-toolbox có an toàn không?
- Tệp được cung cấp từ github.com; hãy kiểm tra đây có phải máy chủ phản chiếu chính thức của nhà phát hành không
- Liên kết tải về dùng HTTPS
- Tệp này không có mã băm được công bố
- Liên kết chưa được kiểm tra
- Mã nguồn được công khai
- ExeAtlas không lưu trữ, không đóng gói kèm và không chỉnh sửa bộ cài
Hướng dẫn liên quan: Cách kiểm tra mã SHA256 của file trên Windows
Phiên bản gần đây
Tất cả 1 phiên bản ›| Phiên bản | Ngày | Dung lượng | Tệp |
|---|---|---|---|
| 1.8.0Mới nhất | — | Mọi kiến trúc CPU ZIP |
Cài đặt bằng dòng lệnh
Cài đặt im lặng ›scoop install extras/tlaplus-toolboxTệp chương trình (.exe): tlc.exe, toolbox.exe
Hướng dẫn liên quan: Cách dùng winget để cài đặt và cập nhật phần mềm
Cũng có cho hệ điều hành khác
flatpak install flathub org.lamport.tla.toolboxThông tin
- Danh mục
- Khoa học và toán học
- Giấy phép
- MIT
- Giá
- Miễn phí
- Phân loại nội dung
- Mọi lứa tuổi
- Yêu cầu
- Windows 11 / 10
- Kiến trúc
- Mọi kiến trúc CPU
- Loại bộ cài
- Portable
- Nền tảng khác
- Linux
- Phiên bản
- 1.8.0
- Số phiên bản
- 1
- Trang chủ
- lamport.azurewebsites.net
- Gói Scoop
- extras/tlaplus-toolbox
Đánh giá và nhận xét
Chưa có nhận xét nào. Hãy là người đầu tiên đánh giá.
Phần mềm thay thế tlaplus-toolbox
Xem tất cả ›-
Mã nguồn mở118 N ↓ -
Mã nguồn mở126,7 N ↓ -
Mã nguồn mở46 N ↓ -
Mã nguồn mở50,3 N ↓ -
Mã nguồn mở12,2 N ↓ -
Mã nguồn mở17,7 N ↓ -
Mã nguồn mở24,6 N ↓ - Mã nguồn mở28,6 N ↓
Câu hỏi thường gặp
tlaplus-toolbox có miễn phí không?
Có. tlaplus-toolbox là phần mềm mã nguồn mở theo giấy phép MIT.
Tải tlaplus-toolbox có an toàn không?
Tệp được tải từ github.com; ExeAtlas không lưu trữ và không chỉnh sửa tệp.
tlaplus-toolbox có chạy trên máy ARM (Windows on Arm) không?
Bộ cài không phụ thuộc kiến trúc CPU.
Có thể dùng tlaplus-toolbox mà không cần quyền quản trị viên không?
Có, đây là bản portable: chỉ cần giải nén và chạy.
Có những phần mềm nào thay thế tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! và JASP. Trang phần mềm thay thế so sánh các lựa chọn này.
