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ọ.
lịch sử phiên bản
- Phiên bản N/A đăng trên 2011-08-12
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2011-08-12
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: waters.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows