Efficient Symbolic Tools
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 3.5/5 - 8 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về Efficient Symbolic Tools
Gói Công cụ Biểu tượng Hiệu quả (EST) là một công cụ dựa trên BDD để xác minh chính thức các hệ thống đồng thời. Ưu điểm của nó là tính linh hoạt, tính di động và quản lý bộ nhớ hiệu quả. Nó chạy dưới hệ điều hành khác nhau, bao gồm Linux và Windows 2000/XP.