Proposé par l’éditeur Atego, focalisé sur les outils de développement et de modélisation de haut niveau d’applications critiques, Atego Check est un logiciel d’analyse automatique d’un projet au niveau des différentes étapes ...du développement, et ce jusqu'aux délivrables fournis à l'utilisateur en fin de projet.  L'une des caractéristiques principales d’Atego Check, qui est basé sur l’expertise d’Atego dans le domaine des applications critiques à haut niveau de sûreté de fonctionnement, est de proposer des listes de vérification préchargées pour les projets dans l’aéronautique qui doivent respecter les recommandations des spécifications DO-178 (pour le logiciel) et DO-254 (pour le matériel).

De manière plus générale, Atego Check démarre une analyse automatique d’un projet en scrutant les arborescences des fichiers et des dossiers d’un programme, en analysant les systèmes de gestion des codes sources, les mesages électroniques, les pages Web, etc. pour les intégrer au sein de la technologie Atego Process Director. Ces analyses sont conduites de manière automatisée à partir d’une checklist définie par l’utilisateur ou bien à partir de checklists spécifiques proposées par Atego. Ces listes de vérification sont constituées d’une série de questions, pour lesquelles des réponses précises, connues, sont attendues. Celles-ci sont ensuite stockées et horodatées avec une signature électronique. Un tableau de bord graphique permet alors de vérifier l’avancée de ces vérifications, à l'échelle de tâches, de projets ou d'équipes.