Description
Discussion around the creation of Runway models and the use and development of Runway itself. Runway is a tool for specifying, simulating, model checking, and visualizing distributed and concurrent systems. https://github.com/SalesforceEng/runway-browser