A Convenient Language for Specification and Verification of Your System

Open-Source

Freely available, community driven open-source project.

Comfortable

Natural and short specification of expected behaviour with special support for Cyber-Physical-Systems.

Efficient

Executeable language with optimized backends for various tasks.

TeSSLa Use Cases

Datastream
Analysis

Efficient analysis of logs and online data streams.

Runtime
Verification

Toolchain for verification of system runs.

Semantic
Documentation

Formal specification of system behaviour.

TeSSLa In Action

in produce: Events[Unit]
in consume: Events[Unit]

def numProduce := count(produce)
def numConsume := count(consume)
def safe := numProduce - numConsume <= 2

Move the input events with the mouse to see how they effect the derived streams.

You can study more motivating examples in the TeSSLa Introduction to learn more about TeSSLa's features. If you want to dive deeper into TeSSLa you can find the detailed language overview and tutorials in our documentation.

News

TeSSLa 2.1.0

02.07.2024. We are glad to announce the release of TeSSLa v.2.1.0, compatible with Language Specification 3.0-1 with advanced typing features and package manager. The new version is now available at the download section.

TeSSLa Petri net Library

22.04.2024. Petri nets are a comfortable and widespread formalism for modelling of concurrent systems. The TeSSLa Petri net library enables a comfortable specification and monitoring of Petri net systems.

TeSSLa 2.0.0

21.06.2023. We are glad to announce the release of TeSSLa v.2.0.0, compatible with Language Specification 2.0-1 and with Rust compilation support. The new version is now available at the download section.

Scientific Research Projects

TeSSLa has successfully been used and refined by multiple academic and industrial partners in national and international scientific research projects.

CONIRAS — Kontinuierliche nicht-intrusive Laufzeitanalyse von SoCs

www.coniras.org

ARAMIS II project

www.aramis2.org

COEMS – Continous Observation of Embedded Multicore Systems

www.coems.eu

Try TeSSLa Now

Download Documentation Playground

Participate

TeSSLa is developed as a community-driven open source project. If you want to do research or contribute, join our project. More infos about participation can be found in our GitLab. You can also contact us by e-mail: info@tessla.io

Partners

IMDEA Software Institute

software.imdea.org

Institute for Software Engineering and Programming Languages, University of Lübeck

www.isp.uni-luebeck.de

Virginia Commonwealth University, College of Engineering

rampages.us/elks-decyps

Western Norway University of Applied Sciences