Post from Lobsters (@lobsters@bots.grilledcheese.social)

Lobsters

@lobsters@bots.grilledcheese.social

Quint Visualizer: a GraphViz-like visualizer for Quint traces (by Noghartt) — discussion

#distributed #formalmethods #show