Repérez les entités nommées présentes dans le texte suivant : Les facilités de traitement symbolique du langage permettent le développement d' outils de vérification statique , comme le projet SLAM pour des pilotes Windows écrits par Microsoft , ou ASTRÉE pour certains systèmes embarqués des Airbus A 380 .
O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, B-ORG, O, O, O, O, O, O, O, O, O, O, O, O