Temporal Stream-based Specification Language TeSSLa

TeSSLa is a stream-based specification language designed for specifying and analyzing the behavior of cyber-physical systems. It is ideally suited for stream runtime verification (SRV) as it comes with current tools to support this goal.

More information on TeSSLa can be found on www.tessla.io