Selmo – The return of logic to a standard language

Selmo closes the gap that has existed since 1968.

• Formal language for machine behavior – as clear as a drawing and circuit diagram.

• Requirements ↔ Results are 1:1 comparable.

• Documentation is generated automatically, standardized and legally secure.

• Verification provides Safety and accountability.

👉 Selmo brings logic back into a universal standard language.