4 ms·Not All Patterns, but Enough (2008) [pdf]37 points by espeed 8y agoamelius 8y agoIt seems to me that this can be applied in a broader way, for example to verify invariants.