1: \begin{abstract}

2: We give two criteria for diagrams of Heegaard splittings of $3$-manifolds.

3: Weaker one of them guarantees that the splitting is strongly irreducible, and the stronger one guarantees in addition that the Goeritz group is finite.

4: They are generalizations of the criteria introduced by Casson--Gordon and Lustig--Moriah.

5: Their original ones require as input the diagram formed by a pair of maximal disk systems.

6: Our present ones accept as input that of arbitrary disk systems, including minimal disk systems.

7: In other words, our criteria accept Heegaard diagrams.

8: \end{abstract}

9: