Allium contracts
Make the assumptions explicit.
Start with entities, rules and bounded invariants.
Explore guide
RESOURCES
Ideas into understanding.
Explore the contracts, scenarios and evidence behind the platform.
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 guideRESEARCH PAPER · NORMAN KHINE
Proof-Driven Software Delivery with Allium and Bend
Read the architecture behind specifications, proofs, implementation evidence and accountable delivery.
Read the research summaryNo 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.
Try the full interactive flowEnable JavaScript to explore this interactive model.