Workflow Invariant Lab
by Enrique brachoUpdated Sep 1, 2026
Validate, simulate, diff, test, and verify declarative workflow state machines without executing user code.
workflows
state machines
workflow testing
+7
|How to pay
Subscribe
Monthly billing
$19/month
Predictable monthly cost with included usage. Best for steady, high-volume traffic.
- Unlimited tools within plan limits
- One API key, billed once a month
- Cancel any time
Workflow Invariant Lab is a deterministic testing toolkit for declarative workflow state machines.
It can:
- Detect unreachable states, dead ends and invalid transitions.
- Find nondeterministic and nonterminating workflows.
- Simulate event sequences without executing user code.
- Verify real event histories against expected behavior.
- Generate transition-covering test suites.
- Compare workflow versions and identify unsafe migrations.
Designed for developers, QA teams and workflow automation engineers who need to detect structural problems before deployment.