Alloy is an application that tests software at the design stage, where the kinds of problems that ruin an application can appear. It’s not a trivial problem; an application of moderate complexity can have a near-infinite number of possible states.