Allium contracts
Make the assumptions explicit.
Start with entities, rules and bounded invariants.
Explore guide
Scenario-driven development
Explore the unexpected.
A repeatable scenario makes an observed failure useful.
Explore guide
Proof and runtime evidence
Ask the right kind of question.
Understand what a finite proof does—and does not—establish.
Explore guideDisposable environments
Make cleanup part of the result.
Track a resource from provisioning to its cleanup receipt.
Explore guideNo matching resources. Try a different term or category.
THE APPROACH
Specify. Simulate. Verify.
Each kind of evidence answers a different question. Explore the journey below.
Enable JavaScript to explore this interactive model.