Retourner au contenu associé (journal : Idée stupide sur la sécurité du code)
Posté par davandg (site web personnel, Mastodon) le 18 avril 2014 à 12:54. En réponse au journal Idée stupide sur la sécurité du code. Évalué à 4.
Pour un logiciel aussi critique, ne faudrait-il pas faire de la vérification formelle ?
(C'est une vrai question)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Vérification formelle
Posté par davandg (site web personnel, Mastodon) . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 4.
Pour un logiciel aussi critique, ne faudrait-il pas faire de la vérification formelle ?
(C'est une vrai question)