And this tool was actually built on a solver that's deployed routinely around the world for conventional software verification.
Esta herramienta se construyó realmente en un solucionador que se implementa habitualmente en todo el mundo para verificación  de software convencional.