Retourner au contenu associé (journal : Idée stupide sur la sécurité du code)
Posté par kp le 23 avril 2014 à 23:35. En réponse au journal Idée stupide sur la sécurité du code. Évalué à 2.
Des gens le font, mais pas gratuitement : http://www.astree.ens.fr/ https://en.wikipedia.org/wiki/Astr%C3%A9e_(static_analysis)
C'est utilisé dans l'aéronautique (pour éviter les avions ou les fusées qui se crashent à cause d'un dépassement de tampon).
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Vérification formelle
Posté par kp . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 2.
Des gens le font, mais pas gratuitement :
http://www.astree.ens.fr/
https://en.wikipedia.org/wiki/Astr%C3%A9e_(static_analysis)
C'est utilisé dans l'aéronautique (pour éviter les avions ou les fusées qui se crashent à cause d'un dépassement de tampon).