Retourner au contenu associé (lien : Exploitation in the era of formal verification - a peek at a new frontier)
Posté par Blackknight (site web personnel, Mastodon) le 25 août 2022 à 09:41. En réponse au lien Exploitation in the era of formal verification - a peek at a new frontier. Évalué à 3.
En 2019, AdaCore et NVidia ont signé un accord en vue de "sécuriser le logiciel des véhicules autonomes". La présentation est un retour sur ce qui s'est passé depuis et une analyse des améliorations apportées par SPARK.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Petit retour sur l'utilisation de SPARK chez NVidia
Posté par Blackknight (site web personnel, Mastodon) . En réponse au lien Exploitation in the era of formal verification - a peek at a new frontier. Évalué à 3.
En 2019, AdaCore et NVidia ont signé un accord en vue de "sécuriser le logiciel des véhicules autonomes".
La présentation est un retour sur ce qui s'est passé depuis et une analyse des améliorations apportées par SPARK.