# Selmo – Die Rückkehr der Logik in eine Standardsprache

Selmo schließt die Lücke, die seit 1968 besteht.

* **Formale Sprache** für Maschinenverhalten – so klar wie Zeichnung und Schaltplan.
* Anforderungen ↔ Ergebnisse sind **1:1 vergleichbar**.
* Dokumentation entsteht automatisch, ist normiert und rechtssicher.
* Verifikation sorgt für **Sicherheit und Verantwortung**.

👉 Selmo bringt die Logik zurück in eine **universelle Standardsprache**.
