Chương trình theo waters.sf.net

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