3 ms·Spectacle: Interactive tool for exploring and visualizing formal specifications5 points by we6251 2y ago