TeSSLa: Temporal Stream-based Specification Language

Tagged runtime-verification, uni

TeSSLa is a stream-based specification language with first class support for temporal properties, suitable for runtime verification of embedded real-time systems.

I contributed to the initial design and compiler of an early TeSSLa prototype, but was not involved in the version that was eventually published. For more information see this paper about TeSSLa or the TeSSLa homepage.