Techniques This section presents the techniques available in Kind 2. How they work and how they can be tweaked through options: k-induction invariant generation IC3