Les contraintes de fiabilité proviennent de l'utilisation qui est
faite des systèmes réactifs. Ils interviennent en effet dans le
contrôle de dispositifs physiques qui peuvent être critiques (systèmes
instables, centrales nucléaires, TGV, avions, 
). Il
est donc important de pouvoir vérifier formellement les
propriétés d'un système réactif afin d'éliminer ses sources
d'erreurs potentielles. Des méthodes de conception et des outils qui
supportent l'utilisation de méthodes formelles doivent être
utilisées.