CoreOS Fest 2016

Distributed systems are notoriously difficult to get right. We’re constantly improving the frameworks we use and the way we test production code, yet we rarely invest in tools for system design. The best design tools we have are still low-tech, like whiteboards and back-of-the-envelope calculations. Runway is a new tool to help design distributed and concurrent systems. It combines specification, simulation, visualization, and model checking into one tool, so you can write a single system model and do a bunch of useful things with it: the same model can help you evaluate a design’s correctness, availability, and performance while also helping others learn how the design works.