title: Software and systems engineering — Capabilities of software safety and security verification tools
title: Ingénierie du logiciel et des systèmes — Capacités des outils de vérification de la sûreté et de la sécurité des logiciels