Aiger Data
Patterns

Five patterns
we recognise.

Engagements take a small number of recognisable shapes when the discipline holds. Each pattern below names a situation that recurs, the discipline that meets it, and the foundations it exercises.