
Utilisation d'outils vérifiablement sûre pour les agents LLM : Quand STPA rencontre MCP
STPA avec MCP enrichi en capacités produit des spécifications de sûreté formelles pour l'usage d'outils LLM ; Alloy prouve l'absence de flux dangereux dans un cas d'agenda.


