To find out more about TRAFFIC read the paper or visit the iBench Initiative. Here you can run a demo of our TRAFFIC compiler on some specifications we wrote or on specifications you write yourself.
Choose one of the examples below and click Go to see the result.