Examples for plain TeSSLa and the TeSSLa runtime verification (RV) tool suite can be loaded using the links in the upper right corner.
Press the green Run button in the title bar to execute a loaded example.
The Trace editor in the upper left contains the input trace. Switch to the C Code editor to enter a C program which will be used as trace source.
The Specification editor in the upper right contains the specification.
The Status and Compiler Output view in the lower left contains compilation and runtime errors if any occurred.
The TeSSLa Output log in the lower right shows the output trace. Try clicking on TeSSLa Visualization to get a visual representation of the output trace instead.