tutorial.safety: initial readme.md

mbeddr · Jan 3, 2024 · 16b6d25 · 16b6d25
1 parent ec71c9d
commit 16b6d25
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/code/tutorial-safety/README.md b/code/tutorial-safety/README.md
@@ -0,0 +1,11 @@
+# FASTEN.Safety Tutorial
+
+This project illustrates the most important features of FASTEN.safety.
+It contains two solutions:
+
+1. `com.mbeddr.formal.safety.tutorial` presenting example models 
+2. `com.mbeddr.formal.safety.users_guide` a short user-guide acompanying the examples
+
+## Homepage
+On FASTEN homepage (https://sites.google.com/site/fastenroot/) you can also find some videos illustrating the use of the languages.
+