โปรแกรมตาม acmgen.sf.net
-
ACM code generator ฟรี
ACMgen เป็นตัวสร้างรหัสอัตโนมัติของกลไกการสื่อสารแบบอะซิงโครนัสตามรุ่นของตาข่าย Petri ที่สามารถตรวจสอบอย่างเป็นทางการกับคุณสมบัติบางอย่างแล้วเปลี่ยนเป็นการใช้งานจริง (เช่น.C ++ หรือ Verilog)
ACMgen เป็นตัวสร้างรหัสอัตโนมัติของกลไกการสื่อสารแบบอะซิงโครนัสตามรุ่นของตาข่าย Petri ที่สามารถตรวจสอบอย่างเป็นทางการกับคุณสมบัติบางอย่างแล้วเปลี่ยนเป็นการใช้งานจริง (เช่น.C ++ หรือ Verilog)