Waters community forum

In the spirit of the WATERS workshop an open community forum is maintained for sharing tools and benchmarks to improve comparability of results in the analysis of real-time and embedded systems.

All industrial challenges as well as final versions of the WATERS papers and challenge solutions are published there, and much more.