Skip to main content
COEMS Open Data
Search
Toggle navigation
Datasets
About
Groups
Stories
Dashboards
Topics
Software Trace
Hardware Trace
RV Competitions
FPGA-based Trace
Log in
Register
Home
Home
Datasets
Data Race Trace Example 1
Checking the trace data against the tessla specfication
Primary tabs
View published
(active tab)
Back to dataset
Go to resource
Checking the trace data against the tessla specfication
Check the trace data against tessla specification using tessla api. May need more than 10 seconds.
Resources
Data race trace
race.c
TeSSLa specfication to dectect data races
Checking the trace data against the tessla specfication