![](/statics/img/blank.png)
State Machine Generator 1.7.5
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ề State Machine Generator
Công cụ được sử dụng để tạo ra mã khung máy trạng thái từ một bộ terse của chỉ thị nhúng trực tiếp vào tệp mã nguồn đầu vào. Công cụ này cũng sẽ tạo ra mô tả đồ họa GraphViz và đầu ra mô hình Spin / Promela.