verum
Authors: Paulo Salem
License: LGPL 3
Summary: A programatic FSM library that makes specifications executable and verifiable.
Can't find the visual you need? Build your own here
© 2026 ClickHouse, Inc. HQ in the Bay Area, CA and Amsterdam, NL.
Can't find the visual you need? Build your own here