ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).
There are no reported vulnerabilities
30 Day SummaryApr 5 2025 — May 5 2025
|
12 Month SummaryMay 5 2024 — May 5 2025
|