Retourner au contenu associé (journal : IKOS, un analyseur statique développé à la NASA)
Posté par kantien le 17 décembre 2018 à 23:03. En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 5.
Frama-C est sous LGPL avec des parties en BSD.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Classique ?
Posté par kantien . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 5.
Frama-C est sous LGPL avec des parties en BSD.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.