Ce n'est pas spécialement utilisé dans les centrales nucléaires, ils ont plus des systèmes électronique que informatique.
Quand au marché potentiel, cela dépend juste de prix potentiel d'une erreur dans le logiciel (en perte humaine ou juste financiere) par rapport au surcout de dévelloppement.
Et si il sagit juste de faire un peu de model-checking ca coute pas non plus très cher.
[^] # Re: Les mathématiques Formels
Posté par Joris R (site web personnel, Mastodon) . En réponse au journal L'expressivité des langages. Évalué à 1.
Quand au marché potentiel, cela dépend juste de prix potentiel d'une erreur dans le logiciel (en perte humaine ou juste financiere) par rapport au surcout de dévelloppement.
Et si il sagit juste de faire un peu de model-checking ca coute pas non plus très cher.