PowerAMC fournit des vérifications par défaut afin de contrôler la validité des généralisations.
| Vérification | Description et correction | 
|---|---|
| Généralisations redondantes | Deux classes ou interfaces ne peuvent pas être liées par plusieurs généralisations. 
 | 
| Héritages multiples de classes | La vérification suivante ne concerne que Java et PowerBuilder. UML admet les héritages multiples, mais Java ne les admet pas. 
 | 
| Extension de classe finale | Une classe finale ne peut pas être étendue. 
 | 
| Attribut discriminant non persistant | Si une généralisation a un attribut discriminant, l'attribut doit être marqué comme persistant. 
 | 
| Générique : Paramètres de type enfant manquants | Un enfant d'un classificateur générique doit résoudre tous les paramètres de type définis par son parent. 
 | 
| Générique : L'enfant ne peut pas être lié | Un classificateur lié ne peut pas être l'enfant d'un classificateur autre que son parent générique. 
 |