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).
JPortForwarder Project
JPortForwarder is a multithreaded TCP Port Forwarder application.
The following feature have been developed:
- Generic TCP Port Forwarging. Listen for a port and forward to an ip:port.
- Multihoming TCP Port Forwarding.