But clever encoding techniques (by which large sets of software states can be represented very compactly) make it possible to check every state by considering these large sets simultaneously.

• 但聪明的编码技巧能以十分精简的方式呈现大量的软体状态，这样一来就能同时进行大量的分析，检验到所有的状态。