Create Comment.txt

wirelesssecuritylab · Jan 17, 2023 · 48a62be · 48a62be
1 parent 47e40f1
commit 48a62be
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/specifications/SDP_Verification/SDP_Attack_New_Solution_Spec/Comment.txt b/specifications/SDP_Verification/SDP_Attack_New_Solution_Spec/Comment.txt
@@ -0,0 +1,5 @@
+The figure Model_Config_for_NAT.PNG illustrates the TLC model configuration for NAT scenario.
+
+The figure Model_Config_without_NAT.PNG illustrates the TLC model configuration for scenario without NAT.
+
+SPA_Attack_New.tla is the main sepc file.