As its name suggests, Alloy melds two elements that help make software designs more robust.

• Alloy正如其名，把两项元素融合在一起，能让软体的设计变得更为健全。