And this tool was actually built on a solver that's deployed routinely around the world for conventional software verification.
Cet outil a été en fait développé à partir d'une solution communément utilisée dans le monde pour vérifier du logiciel classique.