Update README.md: fixed spelling mistake

kieler · Nov 19, 2024 · 4c52b2c · 4c52b2c
1 parent 293a98e
commit 4c52b2c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -5,9 +5,9 @@ Further features are:
 * textual DSL for FTA with interactive cut set visualization;
 * automatic generation of fault trees based on STPA;
 * automatic generation of LTL formulas based on the UCAs of STPA;
-* automatic generation of a safe-by-construciton behavior model based on the automatically generated LTL formulas.
+* automatic generation of a safe-by-construction behavior model based on the automatically generated LTL formulas.
 
-Examples can be found in [pasta-examples](https://github.com/kieler/pasta-examples)
+Examples can be found in [pasta-examples](https://github.com/kieler/pasta-examples).
 
 [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/kieler/pasta-examples)