Bonjour,
Un programme satisfait une propriété de sûreté ou de vivacité si toutes ses exécutions satisfont la propriété.
Pouvez vous me donnez des exemples de propriétés de programme qui ne sont pas de cette forme? (dans le domaine de sécurité par exemple)
Merci,
