Merci pour cette annonce, les talks des conférences citées ont effectivement l'air super intéressant !
Pour ma culture personnelle, sais-tu quel usage est fait des méthodes formelles, notamment dans une optique sécurité, dans les différents développement des firmwares ? Je vois bien des talks à propos de Trustzone, l'usage des IOMMU, etc, mais c'est déjà plus "haut niveau".
Je me posais notamment la question de savoir si l'usage des méthodes formelles pouvait intéresser vos utilisateurs (dans le cadre de la certification de vos firmwares pour des usages étatiques, entre autres).
# Méthodes formelles ?
Posté par Harvesterify . En réponse à la dépêche Un peu d’Open Hardware pour la rentrée (et beaucoup de LinuxBoot). Évalué à 3.
Crossposting à partir du journal initial :
Hello,
Merci pour cette annonce, les talks des conférences citées ont effectivement l'air super intéressant !
Pour ma culture personnelle, sais-tu quel usage est fait des méthodes formelles, notamment dans une optique sécurité, dans les différents développement des firmwares ? Je vois bien des talks à propos de Trustzone, l'usage des IOMMU, etc, mais c'est déjà plus "haut niveau".
Je me posais notamment la question de savoir si l'usage des méthodes formelles pouvait intéresser vos utilisateurs (dans le cadre de la certification de vos firmwares pour des usages étatiques, entre autres).
Mes messages engagent qui je veux.