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:39. Étiquettes : ada spark nvidia 4 25août2022 https://media.defcon.org/DEF%20CON%2030/DEF%20CON%2030%20presentations/Adam%20Zabrocki%20%20%20Alex%20Tereshkin%20-%20Exploitation%20in%20the%20era%20of%20formal%20verification%20a%20peek%20at%20a%20new%20frontier%20with%20AdaCore-SPARK.pdf
# Petit retour sur l'utilisation de SPARK chez NVidia
Posté par Blackknight (site web personnel, Mastodon) . É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.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.