This is discrete event simulator that verifies the corectness of the the TCP tropical max-plus model. It should be noted that this model has been abstracted into it's relative classes so that it can scale for a variety of network topologies and parameters.
The model files are within the Model Directory of which has several compenents to be described here in more detail.
A summary of the results and theoretical improvements to the model can be found here. Dr. Partridge is working with more students expand on the work that may result in a final paper on how to break VPNs with this work. I will be moving on to DeFi Research with Dr. Altarawneh, but will be availible to help students use this work.