![](/statics/img/blank.png)
WATERS
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 3.0/5 - 1 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ề WATERS
Waters - Công cụ phân tích Waikato cho các sự kiện trong hệ thống phản ứng. Phần mềm này sẽ cho phép người dùng tạo ra các mô hình máy trạng thái hữu hạn trong một giao diện người dùng đồ họa, để mô phỏng thực hiện của họ, và áp dụng các thuật toán kiểm tra mô hình cho họ.