Freely available, community driven open-source project.
Natural and short specification of expected behaviour with special support for Cyber-Physical-Systems.
Executeable language with optimized backends for various tasks.
Efficient analysis of logs and online data streams.
Toolchain for verification of system runs.
Formal specification of system behaviour.
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.
TeSSLa has successfully been used and refined by multiple academic and industrial partners in national and international scientific research projects.
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: firstname.lastname@example.org
Institute for Software Engineering and Programming Languages, University of Lübeckwww.isp.uni-luebeck.de