Formal specifications havebecomea core part of rigorous distributed systems design and verification, but existing tools have still been lacking in providing good interfaces for interacting with, exploring, visualizing and sharing these specifications and models in a portable and effective manner. The TLA+ Web Explorer aims to address this shortcoming by providing a browser-based tool for exploring and visualizing formal specifications written in TLA+. It takes inspiration from past attempts a...
