PowerAMC fournit des vérifications par défaut afin de contrôler la validité des messages.
| Vérification | Description et correction | 
|---|---|
| Message dépourvu de numéro d'ordre | Un message doit être doté d'un numéro d'ordre. 
 | 
| Message utilisé par plusieurs liens entre objets | Un message ne doit pas être attaché à plusieurs liens entre objets. 
 | 
| Message entre acteurs | Un acteur ne peut pas envoyer un message à un autre acteur dans le modèle. Les messages ne sont admis qu'entre objets, et entre des objets et des acteurs. 
 |