In the spirit of the WATERS workshop a forum has been set up to create a community for sharing tools and benchmarks to improve comparability of results in the analysis of real-time and embedded systems.
The 2017 industrial challenge, as well as final versions of the WATERS’17 papers and challenge solutions are published there, and much more.
Join the discussion!
WATERS Community Forum on Tools and Benchmarks for Real-Time Systems
