Retourner au contenu associé (journal : Idée stupide sur la sécurité du code)
Posté par vlamy le 23 avril 2014 à 14:27. En réponse au journal Idée stupide sur la sécurité du code. Évalué à 2.
Non je ne connais pas de tuto, malheureusement.
Par contre, ce qui est sûr, c'est que tous les gens que j'ai vu coder sur des trucs critiques n'utilisaient pas C, ou alors via des générateurs de code, comme c'est le cas notamment dans certaines branches de l'aéronautique.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Vérification formelle
Posté par vlamy . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 2.
Non je ne connais pas de tuto, malheureusement.
Par contre, ce qui est sûr, c'est que tous les gens que j'ai vu coder sur des trucs critiques n'utilisaient pas C, ou alors via des générateurs de code, comme c'est le cas notamment dans certaines branches de l'aéronautique.