![](/statics/img/blank.png)
State Machine Generator 1.7.5
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 3.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang State Machine Generator
Alat yang digunakan untuk menghasilkan kode kerangka kerja mesin negara bagian dari seperangkat terse direktif yang disematkan langsung dalam file kode sumber input. Alat ini juga akan menghasilkan deskripsi grafis GraphViz dan output pemodelan Spin/Promela.