dekker.one / TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
fork atom

We changed something

Jip J. Dekker eb7bf009 6b96f804

+1 -1
unified split
+1 -1
Model/model.xml
··· 88 88 Host1Handshake = Host_Handshake(1,2,0); 89 89 Host2Handshake = Host_Handshake(2,1,0); 90 90 91 - system Network1, Network2, Network3,Host1Handshake,Host2Handshake; 91 + system Network1, Network2, Network3, Network4, Host1Handshake,Host2Handshake; 92 92 </system></nta>