ArchSig: A Tool That Asks Why, Not How

Formal methods, testing techniques, type checking: there are plenty of good ways to check software. If that is what you need, those are good places to start. This article asks why rather than how. Wha