Testing Alloy Model Checking: Find Design Bugs Before Writing Code Most software bugs originate at the design level, not the implementation level.
