Les modèles avancés peuvent générer beaucoup, mais sans responsabilité, le processus reste opaque @miranetwork introduit une structure en vérifiant chaque résultat pour en assurer l'exactitude et l'exhaustivité. C'est le type de couche de vérification qui rend les systèmes automatisés utilisables pour des applications sérieuses