vérifier les propriété

1. Accèssibilité
2. Safety
3. Deadlock
4. Réinitializabilité