Merge pull request #31 from convince-project/renaming

rename as2fm
convince-project · Jul 19, 2024 · 433ee18 · 433ee18
2 parents 64decde + 732b72b
commit 433ee18
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/source/index.rst b/docs/source/index.rst
@@ -140,9 +140,9 @@ other tools can be invoked to amend plans or models and adapt the
 control architecture to new and unforeseen situations. 
 
 
-mc-toolchain-jani
+as2fm
 -----------------
-`convince-project/mc-toolchain-jani <https:///github.com/convince-project/mc-toolchain-jani>`_
+`convince-project/as2fm <https:///github.com/convince-project/as2fm>`_
 
 This is a toolbox for converting all specifications of components of a robotic system under investigation into a format which can be given as input to model checkers for verifying the robustness of the system functionalities. The resulting format used for model checking is `JANI <https://jani-spec.org>`_. 
 

diff --git a/docs/source/overview.plantuml b/docs/source/overview.plantuml
@@ -104,7 +104,7 @@ WP4 / Bosch
 WP4 / UniGe
 ]
 agent jani #TECHNOLOGY [
-[[https://convince-project.github.io/overview/#mc-toolchain-jani MC-TOOLCHAIN-JANI]]
+[[https://convince-project.github.io/overview/#as2fm AS2FM]]
 ....
 WP4 / Bosch
 ]