Added a table of content to tools and apis

UPPAALModelChecker · May 22, 2024 · 2e02386 · 2e02386
1 parent 7bd5fa1
commit 2e02386
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/content/toolsAndAPI/_index.md b/content/toolsAndAPI/_index.md
@@ -5,6 +5,13 @@ pre: "<b>3. </b>"
 chapter: true
 ---
 
-### Chapter 1
+### Chapter 3
 
-# Tools & API
+# Tools & API
+
+- The main graphical user interface: [UPPAAL](uppaal)
+- Command line interface to verifier: [verifyta](verifyta)
+- Java model editor, simulator and verifier interface: [Java API](javaapi)
+- Connect GUI to a remote server via TCP/IP sockets: [socketserver](socketserver)
+- Document and trace file formats: [file formats](file-formats)
+- Including UPPAAL models into LaTeX publications: [LaTeX](latex)