Retourner au contenu associé (journal : Idée stupide sur la sécurité du code)
Posté par thoasm le 18 avril 2014 à 17:32. En réponse au journal Idée stupide sur la sécurité du code. Évalué à 2.
Sans compter les techniques d'interprétations abstraite qui peuvent prouver certains trucs aussi.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Vérification formelle
Posté par thoasm . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 2.
Sans compter les techniques d'interprétations abstraite qui peuvent prouver certains trucs aussi.