Retourner au contenu associé (journal : IKOS, un analyseur statique développé à la NASA)
Posté par David Mentré (site web personnel) le 18 janvier 2019 à 09:24. En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
Bonjour,
Pourquoi un nouvel analyseur a été développé au lieu d'utiliser Frama-C/Value Analysis ?
Quels intérêts et différences principales d'IKOS par rapport à Frama-C/Value Analysis au jour d'aujourd'hui ?
Merci, david
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Différence avec Frama-C/Value Analysis
Posté par David Mentré (site web personnel) . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
Bonjour,
Pourquoi un nouvel analyseur a été développé au lieu d'utiliser Frama-C/Value Analysis ?
Quels intérêts et différences principales d'IKOS par rapport à Frama-C/Value Analysis au jour d'aujourd'hui ?
Merci,
david