dekker.one
An Uppaal analysis of the connection setup of the TCP protocol.
A Model!
+7
+7
Model/model.xml
+7
Model/model.xml
···
1
+
<?xml version="1.0" encoding="utf-8"?><!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd'><nta><declaration>// Place global declarations here.
2
+
</declaration><template><name x="5" y="5">Template</name><declaration>// Place local declarations here.
3
+
</declaration><location id="id0" x="16" y="-40"></location><init ref="id0"/></template><system>// Place template instantiations here.
4
+
Process = Template();
5
+
6
+
// List one or more processes to be composed into a system.
7
+
system Process;</system></nta>